I'm doing predicate logic models and can't seem to get the right answers to any of these problems. here is the question:
" test the following formulas in two-element domains, using any technique you wish. Which are true in each model? which are false in some? For those that have counter-examples, present a counterexample as a table of values for F and G."
help with any of the following would be amazing:
2. (Ax)(Fx>(Gx v ~Gx))
3. (Ex) Fx v (Ex) ~Fx
I tried to prove that they were tautologies by making a tree for their negand, but all of the branches always remained open since in one branch there never were two formulaes that had the same variables. So I'm not sure what to do. I have an exam monday, hopefully someone can help me out!
