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.