PENSAMIENTO LOGICO Y MATEMATICO

TRABAJO COLABORATIVO 2

LUIS DAVID ANDRES PEA SOSA COD:1030603146

GRUPO 200611_26

TUTOR:
JADITH ROVIRA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA. UNAD

ESCUELA DE CIENCIAS BSICA TECNOLOGA E INGENIERA
NOVIEMBRE. 2015

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

Identificar el concepto de proposicin lgica.

Conocer y entender las cuatro tablas de verdad.
Comprender que son las Tautologas, contradicciones y contingencias.
Comprender que son los Cuantificadores y proposiciones categricas.
Resolver de manera prctica haciendo uso de los conceptos vistos ejemplos dados
por las guas.

ACTIVIDAD NUMERO UNO

Las tablas de verdad son, por una parte, uno de los mtodos ms sencillos y
conocidos de la lgica formal, pero al mismo tiempo tambin uno de los ms
poderosos y claros. Entender bien las tablas de verdad es, en gran medida, entender
bien a la lgica formal misma.
Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato ms
popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus,
publicado en 1921.
La tabla de los "valores de verdad", es usada en el mbito de la lgica, para obtener
la verdad (V) o falsedad (F), valores de verdad, de una expresin o de una
proposicin. Adems sirven para determinar si es que un determinado esquema de
inferencia es formalmente vlido como un argumento, llegando a la conclusin de que
este es una tautologa (se habla de una tautologa cuando todos los valores de la tabla
mencionada son "V" o sea verdadero).
Un ejemplo de la aplicabilidad de estas tablas es la lgica combinacional, aplicados a
sistemas digitales, al hacer uso de las compuertas lgicas individual o de forma
combinada, se crean secuencias que pueden ser expresadas en tablas, las ms
comunes con las tablas de las funciones AND, OR, NOT, XOR XNOR.

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 del condicional

El condicional material es un operador que opera sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad falso slo cuando la primera proposicin es verdadera y la segunda falsa, y
verdadero en cualquier otro caso.

Tabla del bicondicional

El bicondicional o doble implicacin es un operador que funciona sobre dos valores
de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de
verdad, y falso cuando sus valores de verdad difieren.

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.

Logica matematica. Tablas de verdad. Recuperado el 23 de 11 de 2015, de

http://logica-matematica-ucp-hectorbuitrago.blogspot.com.co/p/tablas-de-verdad.html

imgenes tomadas de
https://matedisunidad3.wordpress.com/2011/10/18/proposiciones-compuestasdisyuncion-conjuncion-negacion-condicional-bicondicional/

Introduccin a la lgica intencional. Tablas de verdad . Recuperado el 23 de 11 de

2015, http://www.filosoficas.unam.mx/~abarcelo/INTENSIONAL/2012/260312.pdf

Tablas de verdad. Recuperado el 25 de 11 de 2015, de

http://www.ecured.cu/Tablas_de_la_verdad