Answer ALL Questions.Answer ALL Questions.

Write the following statements into first order predicate calculus:

i$)$ Some intelligent students study Computer Science.

ii$)$ Nancy either owns a cat or a hamster.

Write the following statements into first order predicate calculus:

i$)$ Some intelligent students study Computer Science.

ii$)$ Nancy either owns a cat or a hamster.

Given the Blocks World diagram as shown in Figure $1,$ write the first$-$order predicate

calculus $($FOPC$)$ to represent the start state and goal state.

Given the following premise:

$MN$

$NS$

$S$

Prove that notM is valid.

Given the following arguments:

$not{p}^{{?}^{?}}q$

$rp$

notr$s$

$st$

Prove the conclusion of $t.$