Transcript
Logica (a.a. 2014-2015 – II semestre) Compito 2 A. Tradurre nel linguaggio della logica proposizionale, utilizzando le lettere indicate tra parentesi (valore: 1) A.1. Sebbene Palermo si trovi in Italia (P) proprio come Aosta (A), l’una ha un clima temperato (C) e l’altra (T) no: (P & A) & (C & ~T) A.2. Maria mangia anche la verdura (V), qualora mangia la pasta (P), però se non mangia la pasta, mangia insalata (I) senza mangiare verdura: (P → V) & (~ P → (I & ~ V)) A3. Solo se Domossola ha una grande biblioteca (D), Paolo accetta di andarci ad abitare (P) e tuttavia Nicola vorrebbe convincerlo a farlo (N), anche se di fatto una grande biblioteca Domodossola non ce l’ha: (P → D) & (N & ~ D) A.4. L’Italia attirerà nuovi investimenti dall’estero (I), se migliora (M), ma solo se migliora, il suo sistema giuridico e in caso contrario, con il sistema giuridico lento e farraginoso che si ritrova (L), quelli che ancora investono in Italia si ritireranno (R): ((M ↔ I) & L) & ((~ M → R)) A5. Roma è bella (R) tuttavia il suo traffico è insostenibile (T) se piove (P), a meno che ovviamente non siamo in pieno Agosto quando quasi tutti stanno in ferie (F): R & (~ F → (P → T)) Oppure: R & (F ˅ (P → T)) B. Utilizzando il metodo degli alberi di refutazione, dimostrare la validità o meno della seguente forma argomentativa (valore 0,5): (P → R), (Q → S) & (P & Q) ⱶ (R & S) 1 2 3 4 5 6 7 8 9 10 11 12 13
P →R (Q → S) & (P & Q) ~ (R & S) Q → S 2& P&Q 2& P 5& Q 5& ~P 1→ R 1→ X 6, 8~ ~ R 3 ~& ~S X 8, 10 ~ ~ Q 4→ X 7, 12~
La forma è VALIDA.
3~& S 4→ X 10, 12~
C. Utilizzando il metodo degli alberi di refutazione, stabilire se questa fbf è tautologica inconsistente o contingente (valore 0,5): (~Q & ~R) (Q ˅ R) ~ ((~Q & ~R) (Q ˅ R))
1 2 3
~Q & ~R ~ (Q ˅ R)
4 5
~Q ~R
2& 2&
6 7
~Q ~R
3~˅ 3~˅
1~ 1~
~ (~Q & ~R) 1~ Q˅R 1~ ~~Q 2~& Q 4~~
Q
3˅
R 3˅ Q
~~R R 3˅
2~& 4~~ R 3˅
La formula NON è TAUTOLOGICA. (~Q & ~R) (Q ˅ R)
1 2 3 4 5 6 7 8
~Q & ~R Q˅R ~Q 2& ~R 2& Q X 4, 6~
1 1
R 3˅ X 5, 6~
La formula è INCONSISTENTE.
~ (~Q & ~R) ~ (Q ˅ R) ~Q ~R ~~Q Q 6~~ X 4, 7~
~~R 2~& R 6~~ X 5, 7 ~
1 1 3~˅ 3~˅