Un'inferenza immediata è una deduzione che può essere fatta da una proposizione dichiarativa.[1]. Ad esempio, dalla proposizione "tutti i rospi sono verdi" è possibile trarre la deduzione immediata che "nessun rospo non è verde".
Esistono un certo numero di inferenze immediate che possono validamente essere fatte usando le operazioni logiche, il cui risultato è una proposizione logicamente equivalente a quella iniziale. Esistono anche tipi di inferenza immediata non valide che corrispondono a forme di sillogismo errate.
Data una proposizione dichiarativa di tipo E, dal quadrato delle opposizioni, cioè che "Nessun S è P", si può fare la deduzione immediata che "Nessun P è S", che è il contrario della proposizione iniziale.
Data una proposizione di tipo I, "Alcuni S sono P", si può fare la deduzione immediata che "Alcuni P sono S", che è il contrario della proposizione iniziale.
Data una proposizione dichiarativa di tipo A, "Tutti gli S sono P", si può fare la deduzione immediata che "Nessun S è non-P", che è l'obversa della proposizione data.
Data una proposizione di tipo E, "Nessun S è P.", si può fare la deduzione immediata che "Tutti gli S sono non-P", che è l'obversa della proposizione data.
Data una proposizione di tipo I, "Alcuni S sono P", si può fare la deduzione immediata che "Alcuni S non sono non-P", che è l'obversa della proposizione data.
Data una proposizione di tipo O, "Alcuni S non sono P", si può fare la deduzione immediata che "Alcuni S sono non-P", che è l'obversa della proposizione data.
Data una proposizione dichiarativa di tipo A, "Tutti gli S sono P", si può fare la deduzione immediata che "Tutti i non-P sono i non-S", che è la contrapposta della proposizione iniziale.
Data una proposizione di tipo O, "Alcuni S non sono P", si può fare la deduzione immediata che "Alcuni non-P non sono non-S", che è la contrapposta della proposizione iniziale.
I casi di non corretta applicazione delle contrarie, subcontrarie e subalterne sono casi di sillogismo errato chiamati contrario illecito, subcontrario illecito, e subalterno illecito.
I casi di non corretta applicazione fra proposizioni tra loro contraddittorie sono così rari, che un errore del tipo "contraddizione illecita" in genere non viene nemmeno preso in considerazione.
«Immediate inference is the assumption, without intervening—or 'mediating'—premises, that because one categorical statement is true (or false), a logically equivalent categorical statement must also be true (or false).»