6/6/12

Problem 3.6 - Fitch System

Introduction to Logic
Problem 3.6 - Fitch System
Given (p q), use the Fitch System to prove (p q). Start from the given premises. Apply rules of inference by checking the lines you wish to use as premises and click the button for the desired rule of inference. Reiteration allows you to repeat an earlier item. To delete one or more lines from a proof, check the desired lines and click Delete. Whenever entering expressions, use Ascii characters only. (Use ~ for ; use & for ; use | for ; use => for ; and use <=> for .) Proof Editor

1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19.

~p | ~q p&q p q ~p p&q ~p p & q => ~p p&q p p & q => p ~(p & q) ~p => ~(p & q) ~q p&q ~q p & q => ~q p&q q

Premise Assumption And Elimination: 2 And Elimination: 2 Assumption Assumption Reiteration: 5 Implication Introduction: 7 Assumption Reiteration: 3 Implication Introduction: 10 Negation Introduction: 11, 8 Implication Introduction: 12 Assumption Assumption Reiteration: 14 Implication Introduction: 16 Assumption Reiteration: 4
1/2

https://spark-public.s3.amazonaws.com/intrologic/problems/problem_03_06.html

6/6/12

Problem 3.6 - Fitch System

20. 21. 22. 23. 24. 25. 26. 27.

p & q => q ~(p & q) ~q => ~(p & q) ~(p & q) p & q => ~(p & q) p&q p & q => p & q ~(p & q)

Implication Introduction: 19 Negation Introduction: 20, 17 Implication Introduction: 21 Or Elimination: 1, 13, 22 Implication Introduction: 23 Assumption Implication Introduction: 25 Negation Introduction: 26, 24

Goal

~(p & q)
Premise Assumption Reiteration Delete Negation Introduction Negation Elimination And Introduction And Elimination Or Introduction Or Elimination

Complete
Implication Introduction Implication Elimination Biconditional Introduction Biconditional Elimination

Reset

Show XML

https://spark-public.s3.amazonaws.com/intrologic/problems/problem_03_06.html

2/2