Compito 3

Logica (a.a. 2014-2015 – II semestre)
Compito 3
Valore: 2 punti
Consegna: Lunedì 13 Aprile 2013
Nome e cognome: …..................................................................................
1) Formalizzare la seguente argomentazione secondo il formato orizzontale e, se valida, dimostrarne la
validità con il metodo della deduzione naturale usando solo regole di base. Se non è valida, dimostrarlo
utilizzando gli alberi di refutazione (valore 1).
Paride è un amico (P) oppure quello che mi ha raccontato Maria è plausibile (Q). Se Paride è un amico,
allora mi ha detto la verità su Giovanni (G). Giovanni è rispettabile (R), se Paride è un amico e mi ha detto la
verità su di lui (ossia, su Giovanni). D’altra parte, quello che mi ha raccontato Maria è plausibile solo se
Paride è una persona di cui sospettare (S). Quindi, o Giovanni è rispettabile oppure Paride è una persona di
cui sospettare.
2) Dimostrare con il metodo della deduzione naturale, usando solo regole di base (valore 1):
2.1.
(P → R) & (Q → S) ⱶ P → (Q → (R & S))
2.2.
P v Q, P →(R & S), Q →(R & T) ⱶ R v A