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 1:
Calcolare con le tavole di verità le seguenti proposizioni:
 
 
(A ∨ B) → A
{{cassetto
|titolo=Soluzione es n°1
|testo={{{!}} {{prettytable}}
!A
!B
! A ∨ B
! (A ∨ B ) → A
{{!}}-
{{!}}Vero
{{!}}Vero
{{!}}T
{{!}}T
{{!}}-
{{!}}Vero
{{!}}Falso
{{!}}T
{{!}}T
{{!}}-
{{!}}Falso
{{!}}Vero
{{!}}T
{{!}}F
{{!}}-
{{!}}Falso
{{!}}Falso
{{!}}F
{{!}}T
{{!}}-
{{!}}}
 
Come possiamo notare dalla colonna finale l' espressione non è sempre vera, cioè non è una tautologia.
 
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.
 
}}
 
(A → A) → (B → C)