Formalizzare in logica proposizionale le seguenti frasi in linguaggio natural:

a) Mario è nato a Roma e Luisa a Bari

b) Se Claudio è felice, Maria è infelice; e se Claudio è infelice, Maria è infelice.
c) Se né Marco né Lucia verranno con me, non andrò in montagna.
d) O prendiamo l’autobus a Torino e arriviamo in tempo per l’inaugurazione della mostra,
oppure prendiamo l’automobile di Carlo
e) Se Luigi passa l’esame di logica e non passa l’esame di linguistica, studierà tutta l’estate, ma
se passa anche l’esame di linguistica, andrà in vacanza con Luisa.
f) Antonio verrà con noi a Parigi se non perderà il treno lunedì mattina.
g) Luigi passerà l’esame di linguistica purché non faccia più di quattro errori.
h) È pressoché impossibile ottenere composti di oro e argo in laboratorio e tanto meno in
natura, dato che è difficile che l’argo reagisca con altri elementi. Inoltre anche l’oro forma
pochi composti.

ESERCIZIO 2

• Tre amici, Antonio, Bruno e Corrado, sono incerti se andare al cinema. Si sa che:
o Se Corrado va al cinema, allora ci va anche Antonio;
o Condizione necessaria perché Antonio vada al cinema è che ci vada Bruno.
• Il giorno successivo possiamo affermare con certezza che:
1. Se Corrado è andato al cinema, allora ci è andato anche Bruno
2. Nessuno dei tre amici è andato al cinema
3. Se Bruno è andato al cinema, allora ci è andato anche Corrado
4. Se Corrado non è andato al cinema, allora non ci è andato nemmeno Bruno

quale di queste quattro proposizioni è conseguenza logica delle proposizioni precedenti?

SOLUZIONE:
Introduciamo tre proposizioni:
a : “Antonio va al cinema”
b : “Bruno va al cinema”
c : “Corrado va al cinema”

Si sa che:

Se Corrado va al cinema, allora ci va anche Antonio;

càa

Condizione necessaria perché Antonio vada al cinema è che ci vada Bruno.

aàb

Il giorno successivo possiamo affermare con certezza che:

Se Corrado è andato al cinema, allora ci è andato anche Bruno
càb
Nessuno dei tre amici è andato al cinema
(¬ a) ∧ (¬ b) ∧ (¬ c)
Se Bruno è andato al cinema, allora ci è andato anche Corrado
bàc
Se Corrado non è andato al cinema, allora non ci è andato nemmeno Bruno
(¬c) à(¬b)

Verificare con le tabelle di verità se:

((c à a) ∧ (a à b)) (c à b)

((c à a) ∧ (a à b)) ( (¬ a) ∧ (¬ b) ∧ (¬ c))

((c à a) ∧ (a à b)) ( b à c)

((c à a) ∧ (a à b)) ( (¬c) à(¬b))

ESERCIZIO 3

Se io ho ragione, tu hai torto; se tu hai ragione io ho torto. Quindi uno di noi ha ragione.

Corretto o no? Perch ́e?