CENTRO EDUCATIVO SAGRADA FAMILIA DE NAZARET

DEPARTAMENTO DE MATEMTICAS
CLCULO
TALLER DE REGLAS DE INFERENCIA
1)
2) R

1. En los siguientes ejercicios

demuestra
que
la
proposicin
dada
es
consecuencia del conjunto
de premisas que se da.

D emostar T
1)

R T

2)

S R

3)

2.

Demostrar C

3.

1)

( A B) D

2)

(B D ) C

3)

6.

Q N

Demostrar : B
1)
2)
3)

G E

EK
G

4)

K L

5)

ML

6)

M B

J ( M N )

2)

F G J

3)

F G

Demostrar S
1)

2)

T Q

3)
5.

4)

S Q

Demostrar M N
1)

4.

3)

R S

Q S

Demostrar N

7.

Demostrar R S
1)

CD

2)

CD F

3)

F A B

4)

A B RS

8.

Demostrar P

P Q

1)
2) Q
9.

Demostrar A
13. Demostrar x=0

1)

A C

1)

x 0 y =1

2)

BC

2)

x= y y=w

3)

3)

y=w y 1

4)

x= y

10. Demostrar x=0

1)

x0x+ y y

2)

x+ y= y

14. Demostrar : y + 8<12

1)

x+ 8=12 x 4

11. Demostrar x 0

2)

x=4 y < x

1)

x= y x=z

3)

2)

x=z x=1

3)

x=0 x 1

4)

x= y

x+ 8=12 y < x y +8<12

15. Demostrar x=4
1)

( 3 x+2 y=18 ) (x+ 4 y =16)

Demostrar x y

12.
1)

x= y y= z

2)

y=z y =w

3)

y=w y=1

4)

y1

2)

x=2 3 x+ 2 y 18

3)

x=2 y=3

4)

x 4 y 3

Ulpiano Lara Cristancho

Profesor Matemtica y Fsica