Proofs - Sun Apr 27 14:54:19 CEST 2008 Fitch: Proof...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Sun Apr 27 14:54:19 CEST 2008 Fitch: Proof NonContraddizione.prf 1 1. 2. 3. P 2 4. ¬P 2 5. 6. 3 ,4 ¬ Intro Goals 6 2-5 Sun Apr 27 14:57:15 CEST 2008 1. Fitch: ProofReiteration.prf 1 P 2. 3. 1 P 2 Goals P 1 Sun Apr 27 14:58:13 CEST 2008 1. Fitch: Proof Negation 1.prf 1 A 2. ¬A 3. 4. ¬¬A 2 ,1 ¬ Intro Goals ¬¬A 4 2-3 Sun Apr 27 14:56:01 CEST 2008 Fitch: Proof Negation 3.prf 1 1. 2. ¬Q P 3. 4. P Reit 3 Q 5. 6. 7. 8. 2 ,5 P 6 P 5-7 ,3-4, 1 Goals P 8 Sun Apr 27 14:59:17 CEST 2008 1. Fitch: Proof Disjunction 2.prf 1 Cube(b) 2. 3. Small(b) 4. 1 ,3 5. 4 6. Large(b) 7. 1 ,6 8. 7 9. 2 ,3-5 ,6-8 Goals 9 Sun Apr 27 14:04:47 CEST 2008 Fitch: ModusTollens.prf 1 1. 2. ¬B A 3. 4. B 3,1 5. 6. ¬A 4 ,2 ¬ Intro Goals ¬A 6 3-5 Sun Apr 27 14:51:10 CEST 2008 Fitch: Proof TerzoEscuso.prf 1 1. 2. 3. P 4. 5. 6. 3 4 ,2 ¬P 7. ¬ Intro 3-5 ¬P 8. 6 9. 8 ,2 10. ¬¬P ¬ Intro 11. 7-9 10 ,6 12. ¬ Intro 13. ¬ Elim Goals 13 2-11 12 Sun Apr 27 15:06:58 CEST 2008 Fitch: Proof Conjunction 3.prf 1 1. 2. 1 3. 1 4. 3 5. Tet(b) 1 6. 5, 4 Goals 2 6 Sun Apr 27 14:03:48 CEST 2008 Fitch: Proof Conditional 3.prf 1 1. 2. ¬Q 3. P 4. 5. Q 4,2 6. 7. 5 ,3 ¬P ¬ Intro 4-6 8. 3-7 9. 10. P ¬Q 11. 12. ¬P 11 9 , 13. 12 ,10 14. ¬¬Q ¬ Intro 15. Q ¬ Elim 16. 17. 11-13 14 10-15 9-16 ,2-8 Sun Apr 27 14:03:48 CEST 2008 Fitch: Proof Conditional 3.prf 2 17 Sun Apr 27 15:08:51 CEST 2008 Fitch: Proof 6.2.prf 1 1. P 2. 3. 2 4. 2 5. 3, 4 6. 7. Q 6 8. 9. 7 R 6 10. 9 11. 10 ,8 12. 6-11 ,2-5,1 Goals 12 Sun Apr 27 13:52:45 CEST 2008 Fitch: ProvafallaceUnivExist.prf 1 1. 2. a 3. 1 4. 5. 6. 7. 8. Goals b R(a,b) R (a, b) R (a, b) Reit 4 4-5 ,3 2-6 7 Sun Apr 27 13:54:19 CEST 2008 Fitch: QuantificatoriDeMorgan1.prf 1 1. 2. 3. a 4. P(a) 5. 6. 5 7. 6 ,3 8. ¬P(a) ¬ Intro 5-7 9. 4-8 10. 9 ,2 11. ¬ Intro 12. ¬ Elim 3-10 11 13. 2-12 14. 15. 16. 17. a P(a) ¬P(a) 15 18. 16 ,17 19. 20. 14 ,16-18 ¬ Intro 15-19 21. 14-20 22. 2-12 ,14-20 Sun Apr 27 13:54:19 CEST 2008 Fitch: QuantificatoriDeMorgan1.prf 2 22 Sun Apr 27 13:56:18 CEST 2008 Fitch: Strategia.prf 1 1. 2. 3. 4. a Small(a) 3 5. 6. 2 LeftOf(a, b) 4,5 7. 6 8. 1 ,3-7 Goals 8 Sun Apr 27 13:57:26 CEST 2008 Fitch: ProvaCorrettaUnivExist.prf 1 1. 2. b 3. 4. a R (a, b) 2 5. 4 6. 3-5 7. 1 ,2-6 Goals 7 Sun Apr 27 13:59:43 CEST 2008 Fitch: Proof Existential 1.prf 1 1. a 2. 3. 2 b 4. 5. Cube(a) 2 6. Larger(a, b) 4 7. 5 ,6 8. 7 9. Tet(b) 4 10. 9 ,8 11. 10 12. 3 ,4-11 13. 2-12 ,1 Goals 13 Sun Apr 27 14:02:39 CEST 2008 Fitch: Proof Universal 1.prf 1 1. 2. 3. a 4. P(a) 5. 1 6. 2 7. Q(a) 4,5 8. R(a) 7,6 9. 4-8 10. 3-9 Goals 10 Sun Apr 27 14:01:10 CEST 2008 Fitch: Proof Universal 2.prf 1 1. ab 2. 3. 4. Tet(a) 3 5. Cube(b) 3 6. 1 7. 6,4 8. 9. 7 LeftOf(a, b) 5,8 10. 3-9 11. 2-10 Goals 11 ...
View Full Document

Ask a homework question - tutors are online