Wikibooks

Logica matematica/Calcolo delle proposizioni/Esercizi su tavole di verità: differenze tra le versioni

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 149:
}}
 
(<math>\neg</math>(A → B)) → (<math>\neg</math>A → <math>\neg</math>B)
{{cassetto
|titolo=Soluzione es n°4
Riga 157:
!A → B
!<math>\neg</math>A → <math>\neg</math>B
!(A → B) → (<math>\neg</math>(A → <math>\neg</math>B)
!(<math>\neg</math>(A → B)) → (<math>\neg</math>A → <math>\neg</math>B)
{{!}}-
{{!}}Vero
Line 164 ⟶ 163:
{{!}}T
{{!}}T
{{!}}F
{{!}}T
{{!}}-
Line 170 ⟶ 168:
{{!}}Falso
{{!}}F
{{!}}T
{{!}}T
{{!}}T
Line 179 ⟶ 176:
{{!}}F
{{!}}F
{{!}}T
{{!}}-
{{!}}Falso
Line 185 ⟶ 181:
{{!}}T
{{!}}T
{{!}}FT
{{!}}F
{{!}}-
{{!}}}
 
Questa sentenza è un ragionamento errato che spesso si sente fare nei discorsi di ogni giorno: se A non implica B allora non A implica non B. Da questa tabella di verità si vede che non è sempre vero (anche se spesso è vero) e la vera regola che coinvolge negazione ed implicazione (contrapposizione) dice che se A non implica B allora non B implica non A (verrà dimostrata con un esercizio successivo).
}}
 
Estratto da "https://it.wikibooks.org/wiki/Logica_matematica/Calcolo_delle_proposizioni/Esercizi_su_tavole_di_verità"