Multiple Choice
(∃x) (∃y) (Axy • x=y) ⊃ (∃x) Axx
-Which of the following propositions is also derivable in F?
A) ~(∃x) (∃y) (Axy • x=y) ⊃ (∃x) Axx
B) (∀x) (∀y) (Axy ⊃ x≠y) (∃x) Axx
C) (∀x) ~Axx ⊃ ~(∀x) (∀y) (Axy ⊃ x≠y)
D) ~(∃x) Axx ⊃ (∀x) (∀y) (Axy • x=y)
E) ~(∃x) (∃y) (Axy • x=y) (∀x) ~Axx
Correct Answer:
Verified
Correct Answer:
Verified
Q28: 1. (?x)(?y)(?z)[(Pxy • Pyz) ? Pxz]<br>2. (?x)Pxf(x)
Q29: select the best translation into predicate logic,
Q30: provide a conterexample in a finite domain
Q31: consider the following domain, assignment of
Q32: provide a conterexample in a finite domain
Q34: 1. (∀x)(∀y)[(Px • Py) ⊃ Pf(x,y)]<br>2. (∃x)[Px
Q35: All philosophers respect each other. Some philosopher
Q36: select the best translation into predicate logic,
Q37: select the best translation into predicate logic,
Q38: construct a model for each of the