Transcript
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
