Proposiciones y Tablas De Verdad

Ivan Dario Ocoro Castillo

Marzo 2019

Universidad Nacional Abierta y A Distancia

Escuela de Ciencias Básicas, Tecnología e Ingeniería

Pensamiento Lógico Matemático

 Introducción

El propósito de esta actividad es, apropiarse de los conceptos básicos de la lógica

proposicional, e implementarlos con ejemplos de nuestra vida, reforzar conocimientos
previos y abrir la mente a nuevos horizontes de aprendizaje.
 Capítulo 1

Cuantificador universal negativo.

 Capitulo 2

Argumento escogido: B) Aprender matemáticas desarrolla el razonamiento lógico si y solo si se

posee una buena comprensión lectora y buena ortografía.

1) Proposiciones simples del argumento.

 Aprender matemáticas desarrolla el razonamiento lógico.
 Buena comprensión lectora.
 Buena ortografía.

2) Expresión del argumento en lenguaje simbólico o formal.

(P↔Q)˄R

Se lee: Si y solo Si P entonces, Q i R

3) Tabla de verdad con el simulador LOGICA UNAD.

 4) Tabla Manual y definición de resultados.

P Q R (P↔Q)˄R

v v v v
v v f f

v f v f

v f f f
f v v f
f v f f

f f v v

f f f f

Según los resultados arrojados en la tabla, esta expone una CONTINGENCIA.

Definición de Contingencia: En lógica, la contingencia es el modo de ser o característica de

algo en cuanto a que puede ser o no ser, dependiendo del caso (algo que no es necesario pero sí
es posible). En general la contingencia se predica de los estados de cosas, los hechos,
los eventos o las proposiciones. Existe un debate sobre si es aceptable hablar
de entidades contingentes (o entidades necesarias o imposibles), conocido como el debate en
torno a las modalidades de dicto (de la palabra) y de res (de la cosa).

5) Problemas de aplicación.

A continuación, encontrara proposiciones compuestas en lenguaje simbolico (argumento) para

el desarrollo del ejercicio.

B. (¬𝑝 → 𝑞) ∧ (𝑟 ∨ 𝑞)

P: Ivan estudia en la universidad

Q: Ivan es profesional

R: Ivan trabaja en la universidad

Ivan NO estudia en la universidad ENTONCES Ivan es profesional, Y trabaja en la universidad O

Ivan es profesional.
 Tabla de verdad
 Conclusión

 Con el desarrollo de esta actividad, aprendí los conceptos básicos de las proposiciones y
sus conectores lógicos.
 Bibliografía

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos

de álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28).
Madrid, España: Editorial Tébar Flores.
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.
(pp. 106 - 112). Ediciones Elizcom, Madrid.
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.
(pp. 9-28). Ediciones Elizcom, Madrid.