Logica matematica/Calcolo delle proposizioni/Esercizi su tavole di verità: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 36:
L' espressione viene soddifatta (ha valore Vero) nei primi due e nell' ultimo caso, ma il terzo caso (A Falso e B Vero) porta ad avere come risultato globale il valore di Falso.
In linguaggio naturale: A o B non sempre implicano A, infatti A o B può essere vera con A falsa.
}}
Line 108 ⟶ 111:
{{!}}-
{{!}}}
Anche questa sentenza non è sempre vera. Dalla tabella di verità possiamo notare che A implica sempre A (abbiamo sempre T nella colonna corrispondente), ma questo non è sufficiente ad impicare che B implichi C.
}}
{{cassetto
|titolo=Soluzione es n°3
|testo={{{!}} {{prettytable}}
!A
!B
!A ∧ B
!A → (A ∧ B)
{{!}}-
{{!}}Vero
{{!}}Vero
{{!}}T
{{!}}T
{{!}}-
{{!}}Vero
{{!}}Falso
{{!}}F
{{!}}F
{{!}}-
{{!}}Falso
{{!}}Vero
{{!}}F
{{!}}T
{{!}}-
{{!}}Falso
{{!}}Falso
{{!}}F
{{!}}T
{{!}}-
{{!}}}
}}
▲A → (A ∨ B)
(<math>\neg</math>(A → B)) → (B → A)
| |||