Inferència immediata

Operació lògica que permet saber la veritat (la falsedat o la indeterminació) d'un enunciat, deduint-la directament de la veritat o de la falsedat d'un altre. L'anomenat quadro d'oposicions tradicional mostra les relacions lògiques que són inferències immediates entre enunciats categòrics, això és: les relacions de contradicció, contrarietat, subcontrarietat i subalternancia (subimplicació i superimplicació). Aquestes inferències es basen en relacions lògiques de implicació entre enunciats (veure exemple)

Entre enunciats categòrics existeix també la relació lògica de l'equivalència, raó per la qual es donen així mateix les següents inferències immediates: complementarietat, obversió, conversió i contraposició (veg. text).

---

Exemple d'implicació entre enunciats

Si és veritat que

«cap OVNI és una nau procedent de l'espai exterior»,

llavors és simplement fals que

«els OVNI són naus procedents de l'espai exterior»,

però no podem determinar, en canvi, la veritat o falsedat d'aquest segon enunciat si suposem que el primer és fals.

(veure exemple).