Answered step by step
Verified Expert Solution
Question
1 Approved Answer
Complete the following: AAx ( F x H x ) , EEx ( G x & H x ) A A x ( F x
Complete the following:
AAxEEx&
Your tree should not close.
Use a fully developed branch on your tree to produce a countermodel, showing that
AAxEEx&
Don't forget to develop all of the "allshot" wffs for each and every introduced name along that branch. Then use this open branch to construct a countermodel to this sequent. Your model should consist of three items:
A domain that looks something like thisdotscorresponding to whatever constants you have on your path.
An assignment of constants to things from the domain. This might look like this:
dots
An assignment of extensions to your predicates. If your predicate is oneplace, it might look like this: dots If your predicate is say, twoplace, it might look like this: ::::dots
This model will make true the wff on the left and falsify the wff on the right. Try reading your model to yourself with that in mind to check your work.
Step by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started