Mathematical logic and formal semantics UE Past Papers Questions.

Write the dual of the identity .

Answer / Solution

UNSOLVED

Define the following terms as used in the studies of mathematical logic

1. Satisfiability
2. Validity
3. Contradictory

Answer / Solution

UNSOLVED

Define ,in word , the following natural deduction rules .For each rule , present it symbolically.

1. Conjuction
2. Modus Tollens
3. Implies-elimination
4. Implies-introduction

Answer / Solution

UNSOLVED

Use the following rules to prove the given expressions below

1. Conjuction
2. Modus Tollens
3. Implies-elimination
4. Implies-introduction

Answer / Solution

UNSOLVED

Let be the statement . If the universe of discourse for both variables is the set of integers, what are the truth values of:

Answer / Solution

UNSOLVED