Represent each of the following statements in predicate calculus using only the

Question

Represent each of the following statements in predicate calculus using only the two- argument predicate names a_kind_of, part_of, the one-argument predicates pending and demonstrated, the connectives cap and leftarrow the negation symbol tilde, parentheses, quantifiers, and variables and constants. Represent these literally and do not simplify. Quantify all variables. "If some part of a contract has been demonstrated, then it is pending." (b) Prove assuming that part (a) is true that c1 is pending in the following case: c1 is a contract, p1 is part of c1, p2 is part of c1, and p1 has been demonstrated.

Explanation / Answer

Let ,
   P (x) : x be a part of contract
D (y) : y has been demonstrated
L (z) : z is pending
then ,
The given sentence - " If some part of a contract has been demonstrated, then it is pending " has written as There exists ' x ' { D(P(x)) --> L(x) }

Related Questions

Navigate

• Browse (All)
• Browse R
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.