Esercitazioni di Logica

¬∃(Rx ∧ Ax) ∧ qualche rana è marroncina¬∃x(Rx ∧ Ax) ∧ ∃x(Rx ∧ Mx)Tutti gli automobilisti che ignorano qualche semaforo rosso pagano qualche multaPer il predicato ‘automobilista’ si usi ‘A’; per il predicato ‘ignorare’ si usi ‘I’; per il predicato‘semaforo’ si usi ‘S’; per il predicato ‘rosso’ si usi ‘R’; per il predicato ‘multa’ si usi ‘M’.∀x((Ax ∧ x ignora qualche semaforo rosso) → x paga qualche multa)∀x((Ax ∧ ∃y(Sy ∧ Ry ∧ Ixy)) → x paga qualche multa)x((Ax ∧ ∃y(Sy ∧ Ry ∧ Ixy)) ∃z(Mz ∧ Pxz))Qualche cubo grande sta davanti ad un cubo piccoloNotazione Varzi:Si usi ‘C’ per ‘cubo’, ‘G’ per grande, ‘D’ per ‘stare davanti’ e ‘P’ per piccolo.∃x(Cx ∧ Gx ∧ x sta davanti ad un cubo piccolo)∃x(Cx ∧ Gx ∧ ∃y(Cy ∧ Py ∧ Dxy))Notazione Barwise:Si usi ‘Cube’ per ‘cubo’, ‘Big’ per ‘grande’, ‘Front of’ per ‘stare davanti’ e ‘Small’ per ‘piccolo’.∃x(Cube(x) ∧ Big(x) ∧ ∃y(Cube(y) ∧ Small(y) ∧ Front of(xy)))