Inglés al estilo Yongzhen

tautología (tautología o verdad eterna)

Definición:

Proposición compuesta que siempre es verdadera, sin importar cuáles sean los valores de verdad de las proposiciones que ocurren en él, se llama tautología

En matemáticas discretas, ¿verdad?

contradicción contradictoria

contradicción (o contradictoria contradictoria)

satisfiable (satisfiable)

Espero que te resulte útil^_^