Question

Construct a truth table to determine whether the following expression is a tautology, contradiction, or a contingency.

(r ʌ (p ® q)) ↔ (r ʌ ((r ® p) ® q))

Use the Laws of Logic to prove the following statement:

r ʌ (p ® q) Û r ʌ ((r ® p) ® q)

[Hint: Start from the RHS, and use substitution, De Morgan, distributive & idempotent]

Based on (a) and/or (b), can the following statement be true?

(p ® q) Û ((r ® p) ® q)

[Hint: Take a look at the statement – r ʌ a Û r ʌ d – in general]

Using the Rules of Inference, prove that the following is a valid argument:

If it is not true that I am a bullet proof monk or I am James Bond, then I must be a hairless orangutan. It is indeed not true that I am a bullet proof monk or I am a hairless orangutan. Therefore, I must be James Bond.

Answer 1