¿Qué es?
No se ha añadido ninguna twiki todavía.
Operación lógica que permite saber la verdad (la falsedad o la indeterminación) de un enunciado, deduciéndola directamente de la verdad o de la falsedad de otro. El llamado cuadro de oposiciones tradicional muestra las relaciones lógicas que son inferencias inmediatas entre enunciados categóricos, esto es: las relaciones de contradicción, contrariedad, subcontrariedad y subalternancia (subimplicación y superimplicación). Estas inferencias se basan en relaciones lógicas de implicación entre enunciados (ver ejemplo)
Entre enunciados categóricos existe también la relación lógica de la equivalencia, por lo que se dan asimismo las siguientes inferencias inmediatas: complementariedad, obversión, conversión y contraposición (ver texto ).
Si es verdad que
- «ningún OVNI es una nave procedente del espacio exterior»,
- entonces es simplemente falso que
- «los OVNI son naves procedentes del espacio exterior»,
pero no podemos determinar, en cambio, la verdad o falsedad de este segundo enunciado si suponemos que el primero es falso.