Compito 1

Logica (a.a. 2014-2015 – II semestre)
Compito 1
Valore: 2 punti
Distribuito: lunedì 2 Marzo
Consegna: lunedì 9 Marzo
Nome e cognome: …..................................................................................
A. Tradurre nel linguaggio della logica proposizionale, utilizzando le lettere indicate tra parentesi
(valore: 1)
A.1. Se Padova non si trova in Italia (P), Londra è in Francia (L).
A.2. O mangi la verdura (V) o mangi la pasta (P), ma solo se mangi la verdura (V) non ingrassi (I).
A3. A meno che x sia il numero 2 (D), che x sia pari (P) è condizione necessaria e sufficiente per
questo: x non è un numero primo (N).
A.4. Non si dà il caso che gli imprenditori in possesso di risorse investono (I) eppure la crisi
economica sta rallentando (C).
A5. Il vino rosso lo gradisco (R) se e solo se: né si mangia pesce (P), né si mangia tacchino (T).
B. Utilizzando il metodo delle tavole di verità, analizzare la seguente formula, indicando
successivamente se esprime una tautologia, una contraddizione o una proposizione contingente
(valore: 0,5)
~ (P & (Q v R)) ↔ (~P v (~Q & ~R))
C. Utilizzando il metodo delle tavole di verità, verificare se la seguente argomentazione è valida o
invalida (valore: 0,5)
~P v ~Q, ~Q → R, ⱶ ~R → P