Name___________________________________________Surname_________________________________

1) Determine whether the following argument is valid (parse the sentences

according to propositional logic and test the validity of the ensuing argument
schema):
Hopes for peace in the Middle East are unrealistic unless Clinton makes a secret deal
with the Israeli prime minister. Clinton will make a secret deal with the Israeli prime
minister if and only if he is not as inexperienced in foreign affairs as we have been led to
believe. Since Clinton is as inexperienced in foreign affairs as we have been led to
believe, hopes for peace in the Middle East are unrealistic.

2) Determine by means of analytic tableaux whether the following argument

schema is valid.

(r → ¬p)
(r ↔ s)
p⋁s

3) Determine by means of analytic tableaux whether the following formula is a

tautology
(p → (q → ¬p)) → (q → (p → ¬p))