Problem Set 07: MPL Trees (Questions)
PHIL1012 Introductory Logic
#2014900092
1. Use a tree to test whether the following are equivalent. If they are not, then read a countermodel off the tree.
(a) (∀x(Gx→ Gx)→ ¬Ga), (∀x(Gx∧¬Gx)↔ Ga)
2. Use a tree to test whether the following propositions are jointly satisfiable. If they are, then read a countermodel off the
tree.
(a) (∀zCz∨Cb), (∃yAy∨Bc), (Aa∧∃yAy)
https://www.sydney.edu.au/students/academic-integrity.html