Mathematical logic and formal semantics UE Past Papers Questions.

Define the following terms as applied in mathematical logic.

1. Tree
2. Parent
3. Terminal node
4. Predicate

Answer / Solution

UNSOLVED

Explain with examples each of the following propositional connectives

1. Conjuction
2. Disjunction
3. Implication
4. Equivalence.

Answer / Solution

UNSOLVED

Let S be the signature consisting of the unary predicates project, employee, human being, the binary predicate symbol works for and the individual constant Jim. Translate the following sentences into first-order predicate logi.

1. Every emplyee is a human being
2. Some human beings are employees
3. No employee is a project
4. Every employee works for some project
5. Everybody who works for a project , is an employee.

Answer / Solution

UNSOLVED