Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿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 ).