Professional Documents
Culture Documents
Solution
Premise: p ⱽ q
Premise: P
Conclusion: -q
pⱽq
∴-q
Premise: pq
Premise: p
Conclusion: -q
pVq
= -q
Solution= [(pvq)]^p] -q
1 1 1 1 0 0
1 0 1 1 1 1
0 1 1 0 0 1
0 0 0 0 1 1
Since [(pⱽq)]^p]→-q not a tautology, then the given argument is invalid.
p q
p
=q
4. ???
I am going shopping, or I am going to the museum.
I went to the museum.
Therefore, I did not go shopping.
Let p: I am going shopping
Q: I am going to the museum
Premise: p v q
Premise: q
Conclusion: -p
Sol: [( pvq)^q] -p
1 1 1 1 0 0
1 0 1 0 0 1
0 1 1 1 1 1
0 0 0 0 1 1
Or gagawin ko siyang law of syllogism magiging ganito pag yung isa neither fallacy nor valid
argument
Let Let p: I am going shopping
Q: I am going to the museum
Premise: p v q
Premise: -p
Conclusion: q
Sol: [(pvq)] ^-p] q
Pvq
-p
.’. q
1 1 1 0 0 1
1 0 1 0 0 1
0 1 1 1 1 1
0 0 0 1 0 1
Since [(pvq)] ^-p] q is a tautology, then the given argument is valid.
1 1 1 1 1 1 1 1
1 1 0 1 0 0 0 1
1 0 1 0 1 0 1 1
1 0 0 0 1 0 0 1
0 1 1 0 1 0 1 1
0 1 0 0 0 0 1 1
0 0 1 0 1 0 1 1
0 0 0 0 1 0 1 1
Sol: [( pq)^ (qr)] (pr)
Since [( pq)^ (qr)] (pr) is a tautology, then the given argument is valid.
1 1 1 0 0 0 1
1 0 0 0 0 1 1
0 1 1 1 1 0 0
0 0 1 1 1 1 1