Scribd
Upload
12 views3 pages

Output 5

The document contains 5 logic statements in propositional logic. It tests each statement for tautology, contradiction or contingency. It represents the statements with truth tables and determines the result based on the rows of the truth table evaluating to True.

Uploaded by

Christa Diosanta
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
12 views3 pages

Output 5

The document contains 5 logic statements in propositional logic. It tests each statement for tautology, contradiction or contingency. It represents the statements with truth tables and determines the result based on the rows of the truth table evaluating to True.

Uploaded by

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

OUTPUT 5

1. (x ⋀ (¬ y)) ⋀ (x ⋀ y)

x y ¬y
Let:
1 1 0 0 1 0
= x ^ (¬ y)
1 0 1 1 0 0
= x^y
0 1 0 0 0 0
= ^
0 0 1 0 0 0
Rows: 2^2= 4/2 = 2/2 = 1

Contradiction

2. [(B→S) ⋀ B] → S

B S Let:

1 1 1 1 1 = B→S

1 0 0 0 1 = ^B
= →S
0 1 1 0 1
Rows: 2^2= 4/2 = 2/2 = 1
0 0 1 0 1

Tautology
3. [(M→J) ⋀ (J→S)] → (M→S)

Let:
M J S
= M→J
1 1 1 1 1 1 1 1
= J→S
1 1 0 1 0 0 0 1
= ^
1 0 1 0 1 0 1 1
= M→S
1 0 0 0 1 0 0 1
= ^
0 1 1 1 1 1 1 1

0 1 0 1 0 0 1 1
Rows: 2^3= 8/2= 4/2= 2/2 = 1
0 0 1 1 1 1 1 1

0 0 0 1 1 1 1 1

Tautology

4. ¬(p ⋀ q) ⋀ (¬r)

p q r Let:

1 1 1 1 0 0 0 =p ^ q

1 1 0 1 0 1 0 = ¬(p ^ q)

1 0 1 0 1 0 0 = (¬r)

= ^
1 0 0 0 1 1 1
Rows: 2^3= 8/2= 4/2= 2/2 = 1
0 1 1 0 1 0 0

0 1 0 0 1 1 1

0 0 1 0 1 0 0

0 0 0 0 1 1 1

Contingency
5. p ∨ (¬{[(¬p∨q)→q]∧p})

p q Let:

1 1 0 1 1 1 0 1 = ¬p

1 0 0 0 1 1 0 1 = vp

0 1 1 1 1 0 1 1 = →q

0 0 1 1 0 0 1 1 = ∧p

Tautology =¬
= pv

Rows: 2^2= 4/2 = 2/2 = 1

You might also like