ACTIVIDAD COLABORATIVA USO DE LAS TABLAS DE LA VERDAD

Nombres:
DIEGO FERNANDO TANGARIFE
EDWIN ANDRES ESPEJO
DIEGO ANDRES CRISTANCHO
DIANA MARCELA VELANDIA DIAZ

Grupo: 200611_787

Tutora:
Adriana Del Pilar Noguera

UNIVERSIDAD ABIERTA Y A DISTANCIA

LGICA MATEMTICA
2016

INTRODUCCIN
La lgica es la disciplina que se ocupa de los mtodos de racionamiento, suministrando
reglas y tcnicas que nos permiten decidir si una argumentacin, una deduccin es correcta
o no. Es la base todo racionamiento matemtico y tiene numerosas aplicaciones en la vida
cotidiana.
El valor lgico de una forma proporcional depende nicamente de los valores lgicos
que se asigne a sus variables proporcionales. Para el clculo de este valor se usan las tablas
de la verdad.
Las tablas de la verdad es un mtodo para analizar los valores de certeza (verdad) o
lgicos de ciertas proporciones. Consiste en colocar todas las posibilidades de verdadero o
falso en una proporcin.

OBJETIVOS

Comprender ms a fondo el concepto de tablas de la verdad y como es su manejo.

Identificar los diferentes conectores lgicos y sus respectivas representaciones en las
tablas de verdad.
Resolver situacin problemtica de lgica proporcional, por medio de la utilizacin de
las tablas de la verdad.

Desarrollo de actividades

Etapa 1
Ley conmutativa en tablas de verdad (Diego Cristancho):

LINK FUNCIONAL
http://prezi.com/h8guwovcdvsy/?utm_campaign=share&utm_medium=copy&rc=ex0share

Leyes de Idempotencia. (Diana Marcela Velandia)

LINK FUNCIONAL
https://prezi.com/bdnrgio9tfha/ley-de-idempotencia/
leyes de Morgan ( EDWIN ANDRES ESPEJO)

LINK FUNCIONAL
https://prezi.com/u5e1waboaehw/edwin-espejo-rodriguez/

Ley Asociativa y Distributiva en tablas de verdad (Diego Tangarife):

LINK FUNCIONAL
http://prezi.com/22wpzgu6lo0v/?utm_campaign=share&utm_medium=copy

Etapa 2
Situacin problema de la lgica proposicional fase grupal:
Para todos es preocupante la situacin econmica actual que vivimos y que
infortunadamente todo est muy costoso y el dinero no alcanza. Clemencia reflexiona acerca
de su proceder con su propia economa y su esposo reflexiona lo siguiente: Clemencia mi
esposa escribe su lista de gastos y ella consigue un trabajo alterno en otra universidad. Mi
esposa viaja en bicicleta a su trabajo por lo cerca que queda o ella se desplaza caminando. Si
Clemencia escribe su lista de gastos, entonces ella ahorra mucho dinero. Por consiguiente,
mi esposa ahorra mucho dinero. Es claro lo que expresa el esposo de Clemencia? Para dar
la respuesta es necesario elaborar la tabla de verdad de lo que comenta el esposo de
Clemencia, si es tautologa es afirmativo el comentario, si da contradiccin hay falsedad en
lo expresado, y si da contingencia, es porqu hace falta informacin para tener asertividad del
comentario hecho.
Solucin:

p: Clemencia escribe su lista de gastos

q: Clemencia consigue un trabajo alterno en otra universidad

r: Clemencia viaja en bicicleta a su trabajo por lo cerca que queda

s: Clemencia se desplaza caminando

t: Clemencia ahorra mucho dinero

(p ^ q) ^ (r s) ^ (p t) t

(p ^
q)

(r v
s)

(p ^ q) ^ (r
v s)

(p
t)

[(p ^ q) ^ (r v
s)] ^ (p t)

(p ^ q) ^ (r v s) ^
(p t) t

Respuesta: es tautologa ya que tiene todos los valores verdaderos.

Simulador TRUTH:

CONCLUSIONES
La lgica matemtica nos ayuda a desarrollar los procesos del pensamiento encontrando
sentido a lo que normalmente realizamos.
La utilizacin de la lgica tiene sus ventajas y desventajas, por lo tanto, hay que
conocerlas y analizarlas.
Un argumento lgico es un razonamiento que parte de una serie de enunciados llamados
premisas se puede llegar a un resultado llamado conclusin.
Las tablas de la verdad nos muestran el valor de verdad de una proposicin compuesta,
para cada combinacin de valores de verdad que se pueda asignar a sus componentes.

11
Referencias

Prez, A. R. (2013). Lgica matemtica. Una introduccin a las matemticas discretas y

teora de grafos. (pp. 1-22). Crdoba, AR: El Cid Editor. Recuperado de http://www.ebrary.com

Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios. : Larousse Grupo Editorial Patria. Pginas 19 - 29. Recuperado de: http://hdl.handle.net/10596/6551

Chvez, C. P. (2000). Compendio de lgica. : Larousse - Grupo Editorial Patria. Pginas

151- 162. Recuperado de: http://hdl.handle.net/10596/6552

Bustamante A. A. (2009). Lgica y Argumentacin: De los argumentos inductivos a las

lgebras de Boole. 1. Edicin. Mxico, Editorial Pearson. Pginas 63-81. Recuperado de:
http://hdl.handle.net/10596/7959