Represent each of the following statements in predicate calculus using only the
ID: 3141281 • Letter: R
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) }