Predicate symbols S(x) C(x) G(x) T(x,y) L(x, y) k b x is a student x is a Computer subject x is a Geometry subject x tak
Posted: Mon Jul 11, 2022 12:46 pm
- Predicate Symbols S X C X G X T X Y L X Y K B X Is A Student X Is A Computer Subject X Is A Geometry Subject X Tak 1 (15.63 KiB) Viewed 31 times
QUESTION 2 [12] Use the predicate, function and constant symbols and their intended meanings given in Table 2 and translate the following sentences of predicate logic into English: Question 2.1 3x(y(S(x) A G(y) A T(x, y)) A VZ3y(S(z) A G(y) A T(z,y) → x = z)) Question 2.2 Ex(C(x) Vy.(S(y) → ¬T(y,x))) Question 2.3 Vx³y T(x, y) Question 2.4 Vx[S(x)→→ L(k,x)]