Transcript
Logica (a.a. 2016-2017 – I semestre) Compito 1 Valore: 2 punti Distribuito: lunedì 17 Ottobre Consegna: lunedì 24 Ottobre Nome e cognome: …..................................................................................
A. Tradurre nel linguaggio della logica proposizionale, utilizzando le lettere indicate tra parentesi e quando è possibile interpretando le parole in italiano mediante operatori della logica proposizionale (valore: 1) A.1. Pioverà (P) a meno che il vento non spazzi via le nuvole (V). A.2. Solo se arriveranno Vittorio (V) o Giacomo (G), saremo in 11 (U) e con il portiere (P). A3. Qualora si verifichi un pareggio (P), si va ai calci di rigore (R), purché siano stati effettuati anche i tempi supplementari (S). A.4. Non si dà il caso che né piove a Marzo (M) e nemmeno ad Aprile (A). A5. Si può attraversare l’incrocio (A) se e solo se: il semaforo è verde (V) e la strada è libera (L).
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 v (Q & R)) ↔ (~P & (~Q v ~R)) C. Utilizzando il metodo delle tavole di verità, verificare se la seguente argomentazione è valida o invalida (valore: 0,5) P → ~Q, ~Q → R, ⱶ ~P v R
