Conya

Solo disponible en BuenasTareas
  • Páginas : 6 (1402 palabras )
  • Descarga(s) : 0
  • Publicado : 9 de septiembre de 2012
Leer documento completo
Vista previa del texto
-------------------------------------------------
TRABAJO VOLUNTARIO DE LÓGICA
PARA LOS QUE QUIEREN MEJORAR SUS CALIFICATIVOS
DESARROLLAR LOS SIGUIENTES EJERCICIOS Y ENVIAR AL CORREO ELECTRÓNICO : cesar.poma@gmail.com HASTA EL DOMINGO 8 DE JULIO, LA NOTA OBTENIDA SUSTITUIRÁ A LA MÁS BAJA DE LAS PRÁCTICAS O REEMPLAZARÁ AL QUE NO DIERON.

1) 5 EJEMPLOS DE DERIVACIONES PRUEBA DIRECTA
2)5 EJEMPLOS DE DERIVACIONES PRUEBA CONDICIONAL
3) 5 EJEMPLOS DE DERIVACIONES REDUCCIÓN AL ABSURDO
4) 5 EJEMPLOS DE DIAGRAMAS SEMÁNTICOS
5) 5 EJEMPLOS DE FORMALIZACIÓN DE INFERENCIAS
6) 5 EJEMPLOS DE MÉTODO ABREVIADO
7) 5 EJEMPLOS DE ARGUMENTOS (DIAGRAMADOS)
8) 5 EJEMPLOS DE USO DE LEYES LÓGICAS (lenguaje ordinario)

NOTA:
* CADA EJERCICIO CORRECTAMENTE DESARROLLADOTIENE UN VALOR DE 0.5 PUNTOS, TOTAL 20.
* TODO TRABAJO ES ESTRICTAMENTE PERSONAL. SI EXISTEN EJERCICIOS SIMILARES SE ANULARAN DE LOS ALUMNOS QUE TENGAN DUPLICIDAD Y LA NOTA SERÁ 00 (CERO CERO).

----------------------------------------
Mg. César A. Poma Henostroza
DOCENTE

1) 5 EJEMPLOS DE DERIVACIONES PRUEBA DIRECTA

a)
b) P1) q v p
P2) (p v q) p // :. q p
3.- (defcon) (2) = ~ (p v q) v p
4.- (DM) (3) = (~p ^ ~ q) v p
5.- (sim) (4) = ~q v p
6.- ( def con) (5) = q p :. Rpta.

c) P1) ~ (r ^ s)
P2) q s // :.r ~ q
3.- (DM) (1) = ~ r v ~ s
4. - (Def. con) (3) = r ~ s
5. - (Trans) (2) = ~ s ~ q
6. - (SD) (5-4) = r ~ q:.Rpta.

d) P1) ~p s
P2) r
P3) ~ p ~ r // :. P
4. - (Trans) (3) = r p
5. - (MPP) (4- 2)= p

e) P1) ~ ( p ^ q)
P2) r q // :. P ~ r
3.- ( DM) (1) = (~ p v ~ q)
4.- (def con) (3) = p ~ q
5.- ( Trans) (2) = ~ q ~ r
6.- ( MTT) (5) = p ~ r :. Rpta

f) P1) p ~ q
P2) q
P3) ~ p r ^s // :. r ^s

5.- (MTT) (1-2) = ~P
6.- (MPP) (3-6) = r ^ s :. Rpta

2)
3) 5 EJEMPLOS DE DERIVACIONES PRUEBA CONDICIONAL

a)b) P1) (p^~q) r
P2) s p
P3) q // :. S r
4.- PA = s
5.- MPP (2-4) = p
6.- Conj. (5-3) = p ^ q
7.- MPP (1-6) = r
8.- PC (4-7) = s r :. Rpta

c) P1) (p ^ ~q) r
P2) ~ ( r v t ) // :. P q
3.- PA= p
4.- DM (2) = ~ r ^ ~ t
5.- Sim (4) = ~ r
6.- MTT ( 1-5 ) = ~ (p ^ ~ q)
7.- DM (6) = ~ p v q
8.- SD (3-7) = q
9.- PC (3-8) = p q:. Rpta

d) P1) q p
P2) t v r
P3) r q // :. ~ ( p v w) t
4.- PA = ~ ( p v w)
5.- DM (4) = ~ p ^ ~ w
6.- Sim (5) = ~p
7.- MTT (1-6) = ~ q
8.- MTT ( 3-7) = ~ r
9.- SD (2-8) = t
10.- PC= ~ (p v w) t

e) P1) s r
P2) s v p
P3) p q
P4) r t // :. ~ q t
5.- PA= ~q
6.- MTT (3-5) = ~p
7.- SD (2-6) = s
8 .- MPP (1-7) = r
9.- MPP (4-8) = t
10.-PC (5-9) = ~q t

f)
g) P1) (p ^q) r
P2) s p
P3) q // :. S r
4.- Defcon (1) = ~ (p ^q) v r
5.- dM (4) = (~ p v ~ q ) v r
6.- Asoc. (5) = ~ p v ~ q v r
7.- Conm. (6) = ~ q v ~ p v r
8.- Jerar. (7) = ~ q v (~p v r)
9.- SD (3-8) = ~ p v r
10.- Defcon. (9) = ~~ p r
11.- DN (10) = p r
12.- SH (12) = s r :. Rpta

4) 5 EJEMPLOS DE DERIVACIONES REDUCCIÓNAL ABSURDO

a)
b) P1) p ^q
P2) q p
P3) q // :. r
4.- PA = ~ r
5.- MTT ( 1-4) = ~ (p ^q)
6.- DM (5) = ~p v ~ q
7.- MPP (2-3) = p
8.- SD (3-6) = ~ p
9.- Conj. (7-8) = p ^~ p
10.- PC (4-9) = ~r (p ^ ~ p)
11.- RA (10) = r :. Rpta

c) P1) ~p ~ q
P2) ~q r // :. ~p r
3.- PA= ~(~ p r)
4.- Defcon. (3) = ~(p v r)
5.- DM (4) = ~ p ^~ r
6.- Sim. (5)= ~ r
7.- Negaciòn (6) = r
8) Conj. (7-6) = r ^~ r
9) PC (3-8) = [~(~p r)] (r^~ r)
10) RA (10) = r :. Rpta

d)
e) P1) p q
P2) p ~ q // ~ p
3.- PA = ~ (~p) = p
4.- MPP (1-3) = q
5.- MPP (2-3) = ~q
6.- Conj. (4-5) = q ^~q
7.- PC (3-6) = p (q ^ ~ q)
8.- RA (7) = ~p :. Rpta

f)
g) P1) ~ (p ^q)
P2) ~r q
P3) ~p r // :. r
4.- PA = ~r
5.- MTT (3-4) =...
tracking img