Nome di una tautologia
Domanda banale: la seguente tautologia si chiama sillogismo ipotetico o transitività dell'implicazione?
$[ (p => q) \wedge (q => r) ] => [ (p => r) ]$
Che sia una tautologia l'ho già verificato.
La domanda sorge perché in alcune risorse reperite in rete (non ho libri di logica) la si chiama sillogismo ipotetico, in altre transitività dell'implicazione.
Dove viene chiamato sillogismo ipotetico, transitività dell'implicazione è chiamata quest'altra tautologia:
$[ (p => q) ] => [ (q => r) => (p => r) ]$.
$[ (p => q) \wedge (q => r) ] => [ (p => r) ]$
Che sia una tautologia l'ho già verificato.
La domanda sorge perché in alcune risorse reperite in rete (non ho libri di logica) la si chiama sillogismo ipotetico, in altre transitività dell'implicazione.
Dove viene chiamato sillogismo ipotetico, transitività dell'implicazione è chiamata quest'altra tautologia:
$[ (p => q) ] => [ (q => r) => (p => r) ]$.
Risposte
Sono equivalenti come puoi verificare. Suppongo siano due nomi per la stessa cosa. Uno è il nome classico (antica logica greca) l'altro mette in risalto una funzione di questo tipo di sillogismo.
Ok. Grazie.
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo