Академический Документы
Профессиональный Документы
Культура Документы
TRABAJO COLABORATIVO 2
TUTOR:
JADITH ROVIRA
INTRODUCCIN.
Con esta actividad se busca que el estudiante conceptualice, analice y argumente de
forma adecuada los procedimientos desde la lgica proposicional utilizados para
demostrar la veracidad y validez de situaciones especficas del mundo real; y as verificar
si la tabla de verdad generada es una tautologa, contradiccin o contingencia.
En este documento se proponen varios ejemplos que deben ser resueltos con la lgica
proposicional, aplicando los conceptos y haciendo uso de la lgica para llegar a una
solucin practica.
OBJETIVOS
Tabla de la conjuncin
La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente los
valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier
otro caso. Es decir es verdadera cuando ambas son verdaderas
Tabla de la disyuncin
La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente los
valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo
son, y falso cuando ambas son falsas.
Tabla de la negacin
La negacin es un operador que opera. Sobre un nico valor de verdad, devolviendo
el valor contradictorio de la proposicin considerada.
SEGUNDA ACTIVIDAD
Fui a solicitar un crdito educativo para ingresar a la UNAD y la asesora comercial me
dice lo siguiente. En las entidades financieras, nadie confa en las personas que nunca
pagan sus deudas. Pero se sabe adems que, todo el mundo cuenta con la confianza
de sus familiares. Por lo tanto, en las entidades financieras otorgan crditos, porque
cualquiera que tenga familia paga alguna de sus deudas.
A=En las entidades financieras, nadie confa en las personas que nunca pagan sus deudas
B=Todo el mundo cuenta con la confianza de sus familiares
D=Cualquiera que tenga familia paga alguna de sus deudas
(a/\b)->
A
F
F
F
F
V
V
V
V
B
F
F
V
V
F
F
V
v
D
f
V
F
V
F
V
F
v
a/\b
F
F
f
F
F
F
V
v
d
V
F
v
F
V
F
V
v
CONCLUSIONES
Se identificaron correctamente las tablas de verdad as como su aplicacin en un
problema real; hubo que investigar todos los temas por separado sin ayuda de mis
compaeros de grupo, pues a la fecha no se ha presentado ninguno.
Se identificaron los diferentes conceptos de este captulo de lgica proposicional, as
como su importancia dentro de las distintas actividades que se plantearn no solo en
este sino en otros cursos.
Referencias bibliogrficas.
imgenes tomadas de
https://matedisunidad3.wordpress.com/2011/10/18/proposiciones-compuestasdisyuncion-conjuncion-negacion-condicional-bicondicional/