Conjunción (C)

1. a  b, b  c, c  d  d
   a  b, b  c, c  d   b
1. a  b  b , ( S )
2. b y b  c  c (1), (MP)
3. c y c  d  d

2. a  b, a  r , b  s  r  s
1. a  b  a , ( S )
2. a y a  r  r (1), (MP)
3. a  b  b , (S)
4. b y b  s  s (3),(MP)
5. r y s  r  s (2),(4),(C)

Regla de la condicional (RC)

Silogismo Hipotético (SH)
(Regla de equivalencia (RE)
Regla de exportación (REx)

1. a  s, d  h  d  h  s
   a  s, d  h  d  h  s  d 
1. a  s  s , (S )
2. d y d  h  h (MP)
3. h y s  h  s , (1),(2),(C)
4. Por (RC)  d  h  s

2. s , s  t  q, q  r  t  r
1. s  t  q  s  (t  q )(Re x )
2. s y s  (t  q)  (t  q) (1),( MP)
3. t  q y q  r  (t  r ) (2),( SH )
3. a  b, b  a  s  a  b
   a  b, b  a  s  a  b  b
1. b y b  a  s (MP)
2. a  s  a (1),(S)
3. b y a  b  a (RC),(MP)
4. a  b y b  a  a  b(3),(RE)

4. a  b, b  s  r ,h  a  s  (h  a)
   a  b, b  s  r ,h  a  s  (h  a)  b  s
1. h  a y a  b  h  b (SH)
2. s  h  s (S)
3. s  h  h (S)
4. h y h  b  b (1),(3),(MP)
5. b  s y b  s  r  r (5),(MP)

FALTA TERMINAR
Modus Tollens (MT)
Doble Negación (DN)
Contra recíproca (CONTRA)

Adición (A)
Silogismo Disyuntivo (SD)
Demostración por casos (DC)
Negación de la disyunción (ND)
REGLAS DE MORGAN

REDUCCION AL ABSURDO
TRABAJO EN GRUPO

1. ( p  q) r , r  s , s  t , ( p  q)  t  t. ¿Se puede?

¿Cuándo se usa la regla
 (p q) r , r  s , s  t , ( p  q )  t  t  r
de la condicional?
1. r y ( p  q) r  ( p  q) (SD)
2.( p  q) y ( p  q)  t  t (MP)

1. ( p  q ) r , r  s , s  t , ( p  q)  t  t.
Opción 2
 (p q ) r , r  s , s  t , ( p  q)  t  t   r 
1. r y r  s  s (MP)
2. s y s  t  t (1),(MP)
¿Puedo usarla
al revés?
2. r , p  q , q  r   p
1. q  r  r  q (contra)
2. r y r q  q (1),(MP)
3. p  q  q  p (contra)
4. q y q   p   p (2),(3),(MP)

3. p  ( r  s ), r  p, p  s
1. p y p  ( r  s)  r  s (MP)
2. r   p  p  r (contra)
3. p  r y r  s  p  s (1),(2),(SH)
3. p y p  s  s (3),(MP)

4.  p  t , t  p  p
1.  p  t y t  p   p  p (SH)
2.  p  p  p

4.  p  t , t  p  p
 =   p  t, t  p  p   p
¿Se puede?
1. t  p   p t (contra)
2.  p y  p  t  t (MP)(1)
3.  p  t  t  p (DN)(contra)
4. t y t  p  p (2), (3) , (MP)
5. t r , s, t  w, r  s  w
1. s y r  s  r (SD)
2. t r  r  t (Contra)
3. r  t y t  w  r  w (2),(SH)
4. r y r  w  w (2) (3) (MP)

6. r  s ,  p, q  r , q  p  s
1. q  p   p  q (Contra)
2.  p y  p  q  q(1),(MP).
3. q y q  r  r (2), (SD)
4. r y r  s  s (3),(SD)

7. q  r , p  q, p  t , t  s,  r  s
1. q  r   r  q (Contra)
2.  r y  r  q   q (1), ( MP).
3. p  q   q   p (Contra).
4.  q y  q  p   p (2), (3), ( MP).
5.  p y p  t  t (4), ( SD).
6. t y t  s  s ( MP ).

8. h  t , h  d , k  d  k  t
 =  h  t , h  d , k  d  k  t  k 
1. k y k  d  d (MP)
2. d y h  d  h (1),(SD)
3. h y h  t  t (2),(SD)
4. (RC)(3)  k t
1. ( p  q )  r ,  r  s , s  t , ( p  q )  t  t.
1. Por (RA), Supongamos t
2. s  t  t   s (Contra)
3.  r  s   s  r(Contra)
4. t  s y  s  r  t  r (2), (3), ( SH )
5. t y t  r  t. (1),(4),(MP)
6.(p  q)  r y r  ( p  q) (5),(SD)
7. (
DEMOSTRACION DIRECTA

DEMOSTRACION INDIRECTA O CONTRA RECIPROCA

DEMOSTRACION POR CONTRADICION O REDUCCION A LO ABSURDO

DEMOSTRACION POR CASOS

ELIMINACION DE CASOS

(PUEDO NEGAR UNO DE LOS 2, PARA PROBAR LA OT

RA)

II Parte:
1.) Si a y b son números impares entonces a + b es par y ab es impar.
Prueba:
Como a y b son impartes entonces
a = 2k+1
b = 2k+1
a+b=2k+1+2h+1
=2k+2h+2
=2(k+h+1)
=2j
Por lo tanto, a+b es un múltiplo de 2; es un numero par.
ab=(2k+1)(2h+1)
=4kh+2k+2h+1
=2(2kh+l+h)+1
=2m+1
Combinación lineal de y y z