Taller De Reglas De Inferencias

CENTRO EDUCATIVO SAGRADA FAMILIA DE NAZARET
DEPARTAMENTO DE MATEMÁTICAS
CÁLCULO
TALLER DE REGLAS DE INFERENCIA

1. En lossiguientes ejercicios demuestra que la proposición dada es consecuencia del conjunto de premisas que se da.

Demostar ~T
1) R→~T2) S→R
3) S

2. Demostrar C
1) (A→B)∧D
2) B∧D→C
3) A
3. Demostrar M∨N
1) ~J→(M∨N)
2) F∨G→~J
3)F∨G
4. Demostrar ~S
1) T
2) T→~Q
3) ~Q→~S

5. Demostrar ~N
1) R→~S
2) R
3) ~S→~Q
4) Q→~N

6.Demostrar:B
1) ~G→~E
2) E→K
3) ~G
4) K→~L
5) ~M→L
6) M→B

7. Demostrar R∨S
1) C∨D
2) C∨D→~F
3)~F→A∧~B
4) A∧~B→R∨S

8. Demostrar ~P
1) P→~Q
2) Q

9. Demostrar ~A
1) A→~C
2) B→C
3) B

10.Demostrar x=0
1) x≠0 →x+y≠y
2) x+y=y

11. Demostrar x≠0
1) x=y→x=z
2) x=z→x=1
3) x=0→x≠1
4) x=y

12.Demostrar x≠y
1) x=y→y=z
2) y=z→y=w
3) y=w→y=1
4) y≠1

13. Demostrar x=0
1) x≠0 →y=1
2) x=y→y=w
3) y=w→y≠14) x=y

14. Demostrar:y+8<12
1) x+8=12 ∨x≠4
2) x=4 ∧y<x
3) x+8=12 ∧ y<x →y+8<12

15. Demostrar x=41) 3x+2y=18∧(x+4y=16)
2) x=2→3x+2y≠18
3) x=2 ∨y=3
4) x≠4 →y≠3

Ulpiano Lara Cristancho
Profesor Matemática y Física