Consideriamo le seguenti proposizioni:
Convertire le frasi seguenti usando le proposizioni precedenti ed i connettivi logici:
$a$: Le more sono mature lungo li tragitto, ma gli orsi grizzly non si sono visti in zona.
$r \land \neg p$
$b$: Gli orsi grizzly non sono stati visti in zona e, lungo il tragitto, camminare è sicuro e le more sono mature.
$\neg p \land q \land r$
$c$: Se le more sono mature lungo il tragitto allora camminare lungo il tragitto è sicuro se e solo se gli orsi grizzly non sono stati visti in zona.
$r \rightarrow (q \leftrightarrow \neg p)$
$d$: Non è sicuro camminare lungo il tragitto, ma gli orsi grizzly non sono stati visti in zona e le more lungo il tragitto sono mature.
$\neg q \land \neg p \land r$
$e$: Per camminare in maniera sicura lungo il tragitto, è necessario ma non sufficiente che le more non siano mature lungo il tragitto e che gli orsi grizzly non siano stati visti in zona.
$q \rightarrow (\neg r \land \neg p)\land \neg ((\neg r \land \neg p) \rightarrow q)$
$f$: Non è sicuro camminare sul cammino ogniqualvolta gli orsi grizzly sono stati visti in zona e le more sono mature lungo il tragitto.
$(p \land r) \rightarrow \neg q$
Determinare se la seguente asserzione condizionale è vera o falsa: “Se 1+1=2 allora i cani possono volare”
Nell’implicazione l’ipotesi “1+1=2” è vera ma la tesi “i cani possono volare” è falsa, quindi il suo valore di verità è falso (Il valore di verità di $p \rightarrow q$ è falso se $p$ è vera e $q$ è falsa)
Consideriamo la seguente asserzione: ”Io vengo a lezione ogniqualvolta c’è un test”
Notate che l’asserzione precedente può essere riformulata nel modo seguente: ”Se c’è un test allora io vengo a lezione”