Logica matematica/Calcolo delle proposizioni/Esercizi su tavole di verità: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nuova pagina: Calcolare con le tavole di verità le seguenti proposizioni: (A ∨ B) → A (A → A) → (B → C) A → (A ∨ B) Provare con le tavole di verità i seguenti teoremi: (A → B... |
Nessun oggetto della modifica |
||
Riga 1:
Calcolare con le tavole di verità le seguenti proposizioni:
(A ∨ B) → A {| border=1 cellspacing=0
!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)
| |||