Compito per casa 1

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