Beruflich Dokumente
Kultur Dokumente
Conocer e identificar en forma clara las reglas de inferencia lgica por induccin y deduccin
en formulaciones y demostraciones de razonamientos vlidos en situaciones especficas.
OBJETIVOS ESPECIFICOS
Desarrollando las fases propuestas en la gua de trabajo, pude implementar mis capacidades
para poder dar solucin y cumplir con los requerimientos exigidos, en este trabajo se expresan
con conceptos y ejemplo el tema mtodo por contraejemplo, en la segunda fase se puede
apreciar mediante la definicin y ejemplos el tema Silogismo Hipottico y Silogismo
Disyuntivo y en la tercera fase se puede representar el desarrollo del problema perteneciente
al anexo 1.
El uso del contraejemplo, es muy til cuando uno se encuentra ante una proposicin con
cuantificador universal, de la cual no se sabe si es verdadera o falsa.
Ejemplos:
SEGUNDA FASE
p q Se lee: si p entonces q
q r Se lee: si q entonces r
\ p r Se lee: de donde si p entonces r
Ejemplos 1:
Simblicamente:
Ejemplo 2:
Simblicamente:
pq
~p
\q
Ejemplo 3:
Premisa 1: la energa interna de un tomo puede cambiar con continuidad o
Cambia slo a saltos.
Simblicamente:
Premisa 1: p v q
Premisa 2: ~ p
Conclusin: p
TERCERA FASE
En la ciudad de Pereira se ha creado un buffet de abogados entre cuatro amigos, del cual Juan
Arroyo y Mara Aguirre hacen parte; en cierta ocasin se gener una discordia laboral por
diferentes puntos de vista en el proceso de acompaamiento legal a una persona sindicada de
varios delitos; Juan ha asumido la defensa de Alberto quien es la fuente de discordia con
Mara. Mara ha decidido tomar acciones radicales frente a lo ocurrido con Juan: Si el cliente
de Juan gana la apelacin, entonces Mara se retira del buffet de abogados. Mara se retira
del buffet de abogados si y slo si Alberto el cliente de Juan no es llevado a prisin. Por lo
tanto, si el cliente de Juan gana la apelacin, entonces no es llevado a prisin. Determinar
con el uso de las dos formas de la tabla de verdad la validez del razonamiento que hace Mara
y hacerlo tambin con el uso de las leyes de inferencia.