Existen adems proposiciones de clase simple y compuesta las simples son las que se
conforman de un enunciado sencillo y sin conectores lgicos y las compuestas se puede
decir que son las que cuentan con un conector lgico, como conector lgico tenemos
que son los siguientes
El negador interno (-) que se lee no
El negador externo: -( ) que se lee es falso que
El conjuntor ( ) se lee y
En disyuntor incluyente (V ) se lee o aqu pueden ser A o B o las dos
opciones
El disyuntor excluyente (v ) se lee oo aqu puede ser o una o la optra
opcin pero no las dos a la vez
Implicador () se lee si . Entonces ..
El replicador () se lee puesto que ..
El bi condicional () se lee si .solo si
Segunda Etapa
Ins est hablando con sus amigas de la universidad, y ellas quieren saber si es
verdad que Ins no necesita dinero para pagar la matrcula del prximo semestre, para lo
cual Ins comenta lo siguiente: No es cierto que soy beneficiaria del crdito
condonable que otorga el Estado y obtengo un promedio alto en mi periodo acadmico.
Soy beneficiaria del crdito condonable que otorga el Estado y recibo un bono de
estudio en la empresa. Obtengo un promedio alto en mi periodo acadmico y recibo un
bono de estudio en la empresa. Por consiguiente, soy beneficiaria del crdito
condonable que otorga el Estado. Ser que es verdad lo que ha dicho Ins?, una de las
amigas tom nota de lo que dijo Ins y lo plasm en una tabla de verdad; qu resultado
obtuvo la amiga en la tabla que hizo?
No es cierto que soy beneficiaria del crdito condonable que otorga el Estado y
obtengo un promedio alto en mi periodo acadmico. Soy beneficiaria del crdito
condonable que otorga el Estado y recibo un bono de estudio en la empresa. Obtengo un
promedio alto en mi periodo acadmico y recibo un bono de estudio en la empresa. Por
consiguiente, soy beneficiaria del crdito condonable que otorga el Estado
p: soy beneficiaria del crdito condonable que otorga el Estado
q: obtengo un promedio alto en mi periodo acadmico.
r: recibo un bono de estudio en la empresa
{[(p q) (p r) (q r)] p}
p q r p q p p q (p q) (p [(p q) (p {[(p q) (p r)
q r r r) (q r) (q r)] p (q r)] p}
r)
V V V F F F F F F V F
V V F F F F F F F V F
V F V F V F F V F V F
V F F F V F F F F V F
F V V V F F V F F V F
F V F V F F F F F V F
F F V V V V V V V V F
F F F V V V F F F V F
CONTRADICCION
Tercera etapa
Ningn ciclista puede ser campen y ocupar el segundo lugar al mismo tiempo en
el pdium del Tour de Francia. Nairo Quintana es ciclista colombiano. Nairo
Quintana no puede ser campen y ocupar el segundo lugar al mismo tiempo en el
pdium del Tour de Francia.
Ningn ciclista puede ser campen y ocupar el segundo lugar al mismo tiempo
en el pdium del Tour de Francia
Nairo Quintana no puede ser campen y ocupar el segundo lugar al mismo tiempo
en el pdium del Tour de Francia.
En conclusin es negativa
Conclusiones
Puedo decir que me tomo tiempo realizar este trabajo pues es tema era total mente
nuevo pero el final vi algo de similitud con numero binarios en cuanto a la tablas de
verdad pero nunca pens que se poda analizar una proposicin de manera matemtica y
llegar a una conclusin me parece un tema para uso diario al final fue muy interesante
Bibliografa