(a) Translate the following sentence into Propositional Logic: If I am early I shall see you...

Transcribed Image Text:

(a) Translate the following sentence into Propositional Logic: If I am early I shall see you on Tuesday otherwise I won't. (b) Translate the following sentences into First-Order Predicate Logic: (i) A black dog bit a small child. (ii) All the children who live in Otley know each other (e) Use propositional resolution to show that the following set of propositional clauses is inconsistent: {A, B), C, -A, -C, A, B, -C, D, -C, -D, E, E} (a) Translate the following sentence into Propositional Logic: If I am early I shall see you on Tuesday otherwise I won't. (b) Translate the following sentences into First-Order Predicate Logic: (i) A black dog bit a small child. (ii) All the children who live in Otley know each other (e) Use propositional resolution to show that the following set of propositional clauses is inconsistent: {A, B), C, -A, -C, A, B, -C, D, -C, -D, E, E}