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 {|[[Logica/Calcolo border=1delle cellspacing=0proposizioni/SolEse1|soluzione]]
!A
!B
! A ∧ B
|-
|Vero
|Vero
|Vero
|-
|Vero
|Falso
|Falso
|-
|Falso
|Vero
|Falso
|-
|Falso
|Falso
|Falso
|-
|}
 
In questo caso la sentenza di disgiunzione è vera se anche solo una delle due sentenze che la compongono è vera.
 
[[Logica/Calcolo delle proposizioni/SolEse1|soluzione]]
 
(A → A) → (B → C)