Logica (a.a.

2013-2014 I semestre) Compito 4

Valore: 2 punti Consegna: Venerd 6 Dicembre Nome e cognome: ..................................................................................

4.1 Tradurre i seguenti enunciati nel linguaggio della logica dei predicati (se un enunciato vi sembra ambiguo, dare tutte le traduzioni che vi sembrano accettabili) (valore complessivo: 1) 4.1.1. Ci sono frutti rossi e arancioni e tutti i frutti sono rossi o arancioni. (F, R, A) 4.1.2. Non tutti i corvi sono neri, ma ogni leone rosso. (C, N, L, R) 4.1.3. Ogni persona conosce un VIP. (P, C, V) 4.1.4. Nessun amico tradisce o tutti i nemici tradiscono. (A, T, N) 4.1.5. Se nessun cigno nero, allora la palude di Colfiorito vuota. (C, N, p, V) 4.2 Utilizzando il metodo della deduzione naturale, dimostrare la validit delle seguenti forme argomentative (valore complessivo: 1) 4.2.1. xPx, ~Ba, x(Bx v ~Px) x(Px & ~Px) 4.2.2. x~(Bx v Fx), x(~Bx ~Cx), Ca Gb