Help with logic questions

Watch this thread
PoppieCrean
Badges: 8
Rep:
? You'll earn badges for being active around the site. Rep gems come when your posts are rated by other community members.
#1
Report Thread starter 5 years ago
#1
Hi everyone, does anyone know the answers to these problems, I have to prove that the following sequents are valid in PL. would really appreciate any help!

1. ¬ ¬(P & Q) : ¬ ¬ (Q & P) (6)

2. ¬ P → ¬Q: Q → P (6)


3. : (P →Q) → (¬Q →¬P) (5) Principle of transposition

4. Q → R : (¬Q →¬P) →(P →R) (9)

5. (P & Q) →¬R : R →(P →¬Q) (11)

6. P: [(¬(Q → R) →¬P)] →[( ¬R →¬Q)] (9)

7. P, ¬Q: ¬ (P →Q) (6)

8. P, ¬P : Q (8)

9. : ¬P → (P →Q) (10) Law of Dun Scotus

10. P → ¬P : ¬P (11)
0
reply
PoppieCrean
Badges: 8
Rep:
? You'll earn badges for being active around the site. Rep gems come when your posts are rated by other community members.
#2
Report Thread starter 5 years ago
#2
.x
0
reply
X

Quick Reply

Attached files
Write a reply...
Reply
new posts
Back
to top
Latest

How are you feeling about your SQA results?

They're better than I expected (20)
31.75%
They're what I expected (19)
30.16%
They're worse than what I expected (24)
38.1%

Watched Threads

View All