Lgica Proposicional.
Estudiante:
Cc 1061696237
No grupo 55
UNAD
22 de Julio de 2017
INTRODUCCION
General:
Especficos:
Son aquellas que estn formadas por dos o ms preposiciones simples, unidas por los
operadores lgicos.
Ejemplos:
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?
Ines = P
Pago semestre =q
Formula:
(p q) & (q r) (p r)
Tautologa:
( P Q ) & ( q r ) ( P r )
V V V V V V V V V V V
V V V F V F F V V F F
V F F F F V V V V V V
V F F F F V F V V F F
F V V V V V V V F V V
F V V F V F F V F V F
F V F V F V V V F V V
F V V V F V F V F V F
TERCERA ETAPA:
Silogismo:
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 la combinacin, que nos muestra el diagrama de Venn, se puede observar que la regin
que especifica que ningn ciclista puede ocupar el primer y segundo lugar del Tour de
Francia, por ello la conclusin Ningn ciclista puede ocupar el primer y segundo puesto.
No es valida
CONCLUSIONES
Por ltimo, este trabajo deja al descubierto la capacidad que el estudiante debe tener para
tomar una decisin frente a un caso donde se debe resolver de acuerdo al aprendizaje y
conocimiento.
BIBLIOGRAFIA
http://slideplayer.es/slide/104614/