PENSAMIENTO LOGICO Y MATEMATICO

Proposiciones y Tablas de Verdad

PRESENTADO A
Laura Daniela Marroquín

PRESENTADO POR
LUIS JOSE ACUÑA MOSQUERA
CC. 1140849916

Código del curso 200611B_721

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA “UNAD”

1
 INTRODUCCION

En el siguiente documento por medio de ejercicios practico y teóricos conoceremos los temas, Proposiciones
simples y compuestas, proposiciones categóricas, proposiciones contrarias de contingencia y subcontrarias. Tablas de
verdad, métodos de demostración, razonamientos lógicos, inferencia lógica y argumentos lógicos., cuantificadores,
que a través de ellos comprenderemos los conceptos fundamentales de la lógica proporcional y los aplicaremos para
la resolución de problemas. Los conceptos y la temática desarrollada ayuda en la toma decisiones de diversas
variables comunes usadas en nuestra vida.

2
 OBJETIVOS

-Aprender y conocer la importancia de la Lógica proposicional, y su uso ante situaciones comunes diarias.
-Conocer los elementos de la lógica proporsicional y desarrollar los ejercicios planteados de la guía.
-Desarrollar el contenido de la guía y comparar sus resultados con el Simulador practico Lógica UNAD.
-Reconocer los conceptos de tautolgias y contradicciones y contingencias.

3
EJERCISIO 1

C. P: Todos los congresistas son corruptos

q: Algunos congresistas no son corruptos

CUALIDAD O TERMINO
CUANTIFICADOR TERMINO SUJETO
CUPULA PREDICADO
P todos los congresistas Son corruptos
q algunos congresistas no son corruptos

p preposición A
q proposicion O

A E
P todos los congresistas
Corrupto

I O Algunos congresistas no son corruptos q

P y q son proposiciones contrarios.

4
 EJERCICIO 2 “conjunto literal C”

C. Todos los atletas de alto rendimiento son especialmente cuidadosos con su alimentación. Pedro, miguel y tomas
han ingresado a un equipo profesional de futbol que competirá por el título de la liga de su país, por lo tanto, ellos
cuidaran su alimentación.

R/: El razonamiento es deductivo

Debido a que partimos de un anunciado general “todos los atletas de alto rendimiento son cuidadosos con su
alimentación” Y se concluye que tres casos específicos se deben cumplir.

“Pedro, Miguel y Tomas… cuidaran su alimentación “

5
 EJERCISIO 3: Problemas de aplicación

Los estudiantes que conformaron el CIPAS de Álgebra Trigonometría y Geometría Analítica se han reunido y
deben buscar bibliografía del tema de secciones cónicas, de lo cual conversan lo siguiente: “Vamos a consultar la
tarea en el edificio de la biblioteca de la UNAD si está caluroso el día. Si no vamos a consultar la tarea en el
edificio de la biblioteca de la UNAD, entonces vamos a hacer la consulta por el portal virtual E-Biblioteca. Si
vamos a hacer la consulta por el portal virtual E-Biblioteca, entonces vamos a descargar el libro en PDF. Por lo
tanto, vamos a descargar el libro en PDF.

IDENTIFICACIÓN DE PROPOSICIONES SIMPLES:

p: Vamos a consultar la tarea en el edificio de la biblioteca de la UNAD

q: Está caluroso el día

r: Vamos a hacer la consulta por el portal virtual e-biblioteca

s: Vamos a descargar el libro en PDF

6
PREMISAS

Premisa 1. p→q

Premisa 2. ~p → r

Premisa 3. r → s

Conclusión: s

7
 TABLA DE LA VERDAD

Debe verificarse que al generar un condicional con las premisas enlazadas en una conjunción como antecedente, y
la conclusión como el consecuente se obtenga una tautología. De modo que se realiza la tabla de verdad en el
simulador Truth Table para:

[(p → q) ∧ (~p → r) ∧ (r → s)] → s

Pero nos lleva a una contingencia, eso indica el razonamiento no es válido, porque no es una tautología.

8
La otra manera de usar las tablas de la verdad es analizando que las premisas sean verdaderas y la conclusión sea
falsa. En este caso el razonamiento no es válido.

Premisa 1 Premisa 2 Premisa 3 conclusión

P q r S p→q ~p→r r→s S
V V F F V V V F

9
 LEYES DE INFERENCIA
Premisa 1. p→q

Premisa 2. ~p → r

Premisa 3. r → s

Conclusión: s

________________________________________

4. p SD (1), (2)

5. q SD (1), (4)

6. r SD (3), (4)

7. s Simp. (3)

Luego de usar las leyes de inferencia llegamos a una indeterminación, porqué entre las premisas generadas (4), (5),
(6) y (7) no es posible establecer una relación coherente para llegar a la conclusión. Por ello comprobamos que el
razonamiento no es válido

10
 CONCLUCIONES

El curso de Pensamiento Lógico y matemático y el desarrollo de esta actividad nos brinda la oportunidad
de desarrollar internamente los conocimientos básicos de la lógica proposicional, a través de las tablas de
verdad, proposiciones compuestas y las leyes que regulan las teorías utilizadas en estas; también nos
permite interpretar implícitamente los textos a través de las proposiciones compuestas, con el fin de
verificar la veracidad o validez en las expresiones utilizadas.

11