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.
