Solved

1. (∀X)(∀y)[(Px • Py) ⊃ Pf(x,y)]

Question 34

Multiple Choice

1. (∀x) (∀y) [(Px • Py) ⊃ Pf(x,y) ]
2. (∃x) [Px • (∃y) (Py • x≠y • Rxy) ]
-Which of the following propositions is derivable from the given premises in FF?


A) (∃x) (∃y) [Pf(x,y) • Rxy • x≠y]
B) (∃x) (∃y) [Pf(x) • Rxy • x≠y]
C) (∃x) (∃y) [Pf(f(x) ) • Rxy • x≠y]
D) (∀x) (∀y) Pf(x,y)
E) (∀x) Pf(x,x)

Correct Answer:

verifed

Verified

Unlock this answer now
Get Access to more Verified Answers free of charge

Related Questions

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

Q33: (∃x)(∃y)(Axy • x=y) ⊃ (∃x)Axx<br>-Which of

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

Q39: select the best translation into predicate logic,