PENSAMIENTO LÓGICO MATEMÁTICO

LÓGICA PROPOSICIONAL Y USO DE TABLAS DE VERDAD

PRESENTADO POR:

PRESENTADO A

FABIO OSSA

GRUPO: 226

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA.

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA

PROGRAMA INGENIERÍA INDUSTRIAL

CEAD ZIPAQUIRÁ

ABRIL DE 2017
 INTRODUCCIÓN

La lógica proposicional se define como un sistema lógico encargado de estudiar el razonamiento

conforme a proposiciones y ha sido fundamental para todas las ciencias, porque que de manera

estructurada organiza nuestros razonamientos, estudia la forma y el contenido de los

pensamientos, y tiene por objeto determinar pensamientos verdaderos y desechar los falsos.
 OBJETIVO GENERAL

Conceptualizar y desarrollar las diferentes terminologías de la lógica matemática.

OBJETIVOS ESPESIFICOS

 Conceptualizar y ejemplificar tautologías y contradicciones y contingencias en tablas de

verdad.

 Dar solución al problema de lógica por medio de tablas de verdad y clasificarlo

 Representar gráficamente por medio del diagrama de venn el enunciado denominado

silogismo y dar respuesta de su validez.

 LÓGICA PROPOSICIONAL

Es una rama de la lógica clásica que estudia las variables proposicionales o sentencias lógicas,

sus posibles implicaciones, evaluaciones de verdad y en algunos casos su nivel absoluto de

verdad. Algunos autores también la identifican con la lógica matemática o la lógica simbolice, ya

que utiliza una serie de símbolos especiales que lo acercan al lenguaje matemático.

Las tablas de verdad se utilizan en lógica simbólica para establecer la validez de las

proposiciones. La construcción de tablas de verdad simplifica la tarea de determinar la verdad o

falsedad de una

Proposición. Es una oración con valor informativo la cual puede ser verdadera o falsa.

TAUTOLOGÍA:

Las tautologías son expresiones lógicas que siempre serán verdaderas, no son solo un útil objeto

en la lógica son usadas principalmente para pruebas sentenciales, desempeñan un papel

fundamental en los procesos de la deducción dentro de esta lógica sentencial.

Ejemplo:

1. La expresión ‘(p ^ q) → (p v r)’

Es una tautología.

2. Sean las siguientes proposiciones:

a: Voy al cine

b: Voy a cenar

c: Me quedo en casa

Entonces la sentencia: (a^b) -> (a v ¬c) Es una tautología, la tabla de verdad de esta construcción

es:
La proposición compuesta p v ¬p es una tautología.

3. Sea p la proposición atómica “El auto es rojo” entonces ¬p queda “El auto no es rojo” La tabla

de verdad para esta proposición compuesta es la siguiente:

La proposición compuesta es entonces: “El auto es rojo o el auto no es rojo” que es una

tautología por ser siempre verdadera.

CONTRADICCIÓN.

Una proposición es una contradicción, si es falsa para todos sus valores de verdad.

Por ejemplo:

1. caso A^ ¬A
2. Definir (P^ ¬P)^q

Sus valores de verdad son falsos por lo tanto es una contradicción.

3. Definir. (pvq)↔ ¬(pvq)

Es contradicción.

CONTINGENCIA

Aquella proposición que puede ser verdadera o falsa, (combinación entre tautología y

contradicción) según los valores de las proposiciones que la integran.

Ejemplo. A^ (BVC)

2. Definir (p→q)→p
Es contingencia debido a que sus valores de verdad son verdaderos y falsos.

3. Definir (p^q)→(¬r)

No importa si tiene un solo valor falso como en este caso o un solo valor verdadero siempre

que tengan distintos valores de verdad es contingencia.

PLANTEAMIENTO Y RESOLUCION DE PROBLEMA DE LÓGICA

PROPOSICIONAL.

Mario le escribe al tutor asignado en el curso de Pensamiento Lógico y Matemático para

consultarle respecto a los puntos opcionales que reciben quienes han asistido a los eventos de

B-Learning, pues él asegura tener derecho a dichos puntos. El tutor le responde que por favor

le envíe evidencia de su asistencia; de manera que Mario envía un nuevo mensaje en el que

menciona lo siguiente: “Si asistí a los encuentros B-Learning, entonces desarrollé los

ejercicios de la guía de Trabajo Colaborativo. Si desarrollé los ejercicios de la guía, entonces

obtengo buena nota en el trabajo. Si y sólo si desarrollé los ejercicios de la guía de Trabajo

Colaborativo. Realice la respectiva tabla de verdad determinando si es tautología,

contradicción o contingencia, establezca si para el tutor hay suficientes criterios para creer

que el estudiante sí asistió a los encuentros b-learning.

1. Si asistí a los encuentros B-Learning, entonces desarrollé los ejercicios de la guía de

Trabajo Colaborativo.

2. Si desarrollé los ejercicios de la guía, entonces obtengo buena nota en el trabajo.

3. Si y sólo si desarrollé los ejercicios de la guía de Trabajo Colaborativo.

P. asistí a los encuentros B-Learning.

Q. desarrollé los ejercicios de la guía de Trabajo Colaborativo

R. obtengo buena nota en el trabajo.

 {(p→q) ^ ( q→r)}↔(q)

P Q R P→Q Q→R (P→Q) ^ (Q→R) {(P→Q) ^ ( Q→R)}↔(Q)

v v v V V V V
v v f V F F F
v f v F V F V
v f f F V F V
f v v V V V V
f v f V F F F
f f v V V V F
f f f V V V F

Es contingencia ya que presenta valores de verdad falsos y verdaderos.

Para el autor no hay suficientes criterios ya que el resultado indica que que los argumentos no

son validos

Pantallazo simulador TRUTH

 REPRESENTACIÓN GRÁFICAMENTE CON EL USO DEL DIAGRAMA DE VENN EL RAZONAMIENTO

SELECCIONADO

 Ningún ciclista puede ser campeón y ocupar el segundo lugar al mismo tiempo en el

pódium del Tour de Francia.

 Nairo Quintana es ciclista colombiano.

 Nairo Quintana no puede ser campeón y ocupar el segundo lugar al mismo tiempo en

el pódium del Tour de Francia.

Tour de
Francia

Campeón

Ciclistas Segundo Lugar

Nairo

En el diagrama de venn se puede observar que Nairo está situado dentro del conjunto de ciclistas
por lo tanto la conclusión Nairo Quintana no puede ser campeón y ocupar el segundo lugar al
mismo tiempo en el pódium del Tour de Francia es válida.
 CONCLUSIONES

 La lógica proposicional nos ayuda a determinar la validez o falsedad de un argumento.

 Los conectores lógicos son de vital importancia para formar proposiciones compuestas y
así desarrollar las tablas de verdad.
 BILIOGRAFIA:

Blog-matematicas discretas ISC por Susana, Aurelio, Javier y Kevin Alexis recuperado de
https://matematicasdiscretasisc.wordpress.com/2011/10/13/tautologias-contradiccion-y-
contingencia/
Blog-lógica matemática por Anderson García Recuperado el 31 de Marzo 2017 de:
http://anderstivogm.blogspot.com.co/2010/05/conectivos-logicos-y-tabla-de-verdad.html
Universidad Nacional Abierta Y a Distancia- guía Paso 2 – Uso de las Tablas de Verdad
recuperado de:file:///C:/Users/papenet/Downloads/c.%20Guia%20Paso%202%20Uso%20tablas
%20de%20verdad%20(2).pdf