Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ejercicios de La Definicion 10
Ejercicios de La Definicion 10
C. ¬ p ∧¬ q M I
Dadas las siguientes premisas, formalìcelas y aplique entre otras la regla II de Morgan
( conmutativa ) y demuestre: W ≠ 1∨ X ≠ 5
1. W =1→ X >6 P
2. ¬ ( X ≠ 5 ) P
3. W +6=8 → W =1 P
4. X > 6→ X ≠ 5 P
5. ( W =1∧ X=5 ) → W +6=8 P
6. O sea que el argumento a demostrar es:
1. W =1 → X >6 P
2. ¬ ( X ≠ 5 ) P
3. W +6=8 →W =1 P
4. X > 6 → X ≠ 5 P
5. ( W =1 ∧ X =5 ) →W + 6=8 P
C. W ≠ 1∨ X ≠ 5
p : W =1 , q : X ≠ 5 , r : X >6 , de W +6=8 , W =2 , s :W =2
Formalizando:
1. p →r P
2. ¬ q P
3. s → p P
4. r → q P
5. ( p ∧¬q ) → s P
C. ¬ p ∨ q
6. T 1,4 , p →q
7. MT 6,2 , ¬ p
8. T 5,3 , ( p ∧¬q ) → p
9. T 8,6 , ( p ∧¬q ) → q
10. MT 9,2 , ¬ ( p ∧¬ q )
11. M 10 , ¬ p ∨ q