Give the reasons for the steps verifying the following argument.
Steps | Reasons |
1) ¬s ˄ ¬u |
|
2) ¬u |
|
3) ¬u → ¬t |
|
4) ¬t |
|
5) ¬s |
|
6) ¬s ˄ u¬t |
|
7) r → (s ˅ t) |
|
8) ¬(s ˅ t) → ¬r |
|
9) (¬s ˅ ¬t ) → ¬r |
|
10)¬r |
|
11) (¬p ˅ q) → r |
|
12) ¬r → ¬(¬p ˅ q) |
|
13) ¬r → (p ˄ q) |
|
14) p ˄ ¬q |
|
15) :.p |
|
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.