Valore di verità di espressioni logiche

Testo

Siano $p$, $q$, $r$ tre proposizioni vere. Calcola il valore di verità di ciascuna espressione.

(i) $(p \land q) \lor \lnot r$ (ii) $\lnot p \to (q \land r)$ (iii) $\lnot(p \leftrightarrow \lnot q) \land r$ (iv) $\lnot[\,p \land (\lnot q \to r)\,]$

Soluzione

Con $p=q=r=T$: (i) $(T \land T) \lor \lnot T = T \lor F = \mathbf{T}$. (ii) $\lnot T \to (T \land T) = F \to T = \mathbf{T}$ (l’antecedente è falso). (iii) $p \leftrightarrow \lnot q = T \leftrightarrow F = F$; quindi $\lnot F \land r = T \land T = \mathbf{T}$. (iv) $\lnot q \to r = F \to T = T$; $p \land T = T$; $\lnot T = \mathbf{F}$.

Collegamenti

Argomenti: Teoria degli insiemi
Concetti: Connettivi logici · Tavola di verita
Competenze: Ragionare per casi
Tipo di esercizio: Calcolo espressioni