Scribd
Upload
96 views2 pages

Contradiction Tautology Contingent Tautology Contingent

The document describes an activity involving elementary logic. It presents several logic statements and asks the reader to determine if they are tautologies, contradictions, or contingencies. It also presents some truth tables and asks the reader to determine the truth value of statements based on the tables. Finally, it asks the reader to show that two additional statements are contingencies by presenting their truth tables.

Uploaded by

Ms. Charmy
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
96 views2 pages

Contradiction Tautology Contingent Tautology Contingent

The document describes an activity involving elementary logic. It presents several logic statements and asks the reader to determine if they are tautologies, contradictions, or contingencies. It also presents some truth tables and asks the reader to determine the truth value of statements based on the tables. Finally, it asks the reader to show that two additional statements are contingencies by presenting their truth tables.

Uploaded by

Ms. Charmy
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 2

Activity 3: Elementary Logic

1. Determine whether the following are tautology, contradiction or contingent:


a) (p → ⌐p) ʌ (⌐p → p) Contradiction
b) (p ᴠ q) → (r ᴠ q) Tautology
c) (p ʌ ⌐q) ʌ ⌐p Contingent
d) (p → q) ᴠ (q → p) Tautology
e) [(p ᴠ q) → r] ᴠ [ ⌐ (p ᴠ q) → r Contingent

2. Find the truth value if p and q are true and r, s and t are false:
a) (⌐p) → r False
p r ~p (⌐p) → r
T T F T
T F F F
F T T T
F F T T

b) t → ⌐q False
t q ⌐q t → ⌐q
T T F F
T F T T
F T F F
F F T T

c) p → (r → q) False
p q r r→ p → (r → q)
T T T T T
T T F F F
T F T T T
T F F F F
F T T T T
F T F F F
F F T T T
F F F F F
3. Show if tautology: ⌐ (p ʌ q) ↔ (p ᴠ ⌐q)
p q ~p ~q (p ^ q) ~(p ^ q) (p ^ ~q) ~(p ^ q) ↔ (p ᴠ ~q)
T T T F T F T F
T F T T F T T T
F T F F F T F F
F F F T F T T T

It is not a tautology but a contingency.


4. Show that p ʌ ⌐ (q ᴠ r) is a contingency.
p q r p ^ ~ (q ᴠ r )
F F F F
F F T F
F T F F
F T T F
T F F T
T F T F
T T F F
T T T F

You might also like