Mathematical logics Spring 2010
 PL EXERCISES - SLIDE 01 Some additional excersices in PL can be found at: http://www.dmi.unisa.it/people/russo/www/esercizi/esercizicalcoloproposizionale.pdf http://www.ida.liu.se/~TDDC65/ai/fo/Exercises1.pdf http://www.logic.at/lvas/fminf/folien/e/fminf-ex1-sol.pdf http://www.itu.dk/people/olg/SMD/solutionLogic.pdf http://www.dif.unige.it/epi/hp/pal/ssis04/prop.pdf Some of these links are in Italian and some are in English. PL EXERCISES - SLIDE 02 PL EXERCISES - SLIDE 03 PL EXERCISES - SLIDE 04 PL EXERCISES - SLIDE 05 PL EXERCISES - SLIDE 06 PL EXERCISES - SLIDE 07 PL EXERCISES - SLIDE 08 PL EXERCISES - SLIDE 09 PL EXERCISES - SLIDE 10 PL EXERCISES - SLIDE 11 PL EXERCISES - SLIDE 12 PL EXERCISES - SLIDE 13 Q2 = (A ∨ B ∨ C) ∧ (B ∧ C ∧ D → E) has to intended as Q2 = (A ∨ B ∨ C) ∧ ((B ∧ C ∧ D) → E). PL EXERCISES - SLIDE 14 PL EXERCISES - SLIDE 15 PL EXERCISES - SLIDE 16 PL EXERCISES - SLIDE 17 The first line of Q implies P, the truth value should be T. PL EXERCISES - SLIDE 18 PL EXERCISES - SLIDE 19 PL EXERCISES - SLIDE 20 PL EXERCISES - SLIDE 21 PL EXERCISES - SLIDE 22 The first sentence (Zoe tells you that Mel is a knave) is better translated with a double implication (1) Z < - > M In fact, Zoe lies if Mel is a knight and tells the truth if Mel is a knave. Using the double implication, we have only one possible situation: Zoe is a knight and Mel is a knave. PL EXERCISES - SLIDE 23 PL EXERCISES - SLIDE 24
University of Trento - Master in Computer Science