PROPOSICIONES Y TABLAS DE VERDAD

PLINIO JACOBO MARTÍNEZ LEGUIZAMÓN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ECACEN CONTADURIA PUBLICA
PENSAMIENTO LÓGICO MATEMÁTICO
TUNJA
200611D_614
2019
 1. Introducción

El presente trabajo contiene ejercicios de lógica proposicional, tablas de verdad,

tautologías, contradicciones y contingencia y el concepto de Cuantificadores Negativos.

Para el desarrollo del mismo se siguieron las indicaciones de la guía de actividades y

rúbrica de evaluación – Tarea 1 – Proposiciones y tablas de verdad. Se seleccionaron los

ejercicios del literal “B”

2. Objetivos

 Comprender los conceptos fundamentales de la lógica proposicional para así

poderlos aplicar en la resolución de problemas.

 Aprender a determinar cuándo una expresión es una proposición.

 Identificar claramente el significado de los operadores lógicos.

 Aprender a expresar simbólicamente una proposición.

3. Desarrollo Ejercicios
3.1 Ejercicio 1 Presentación Cuantificador Universal Negativo
 3.2 Ejercicio 2 Proposiciones y tablas de verdad

B. El arcoíris se forma con muchos colores si y solo si el agua de lluvia interactúa con los

rayos de luz solar o si el sol está detrás de las nubes entonces, el arcoíris no se forma con

muchos colores.

 Proposiciones simples del argumento:

p El arcoíris se forma con muchos colores

el agua de lluvia interactúa con los rayos de luz

q solar

r si el sol está detrás de las nubes

┐p el arcoíris no se forma con muchos colores

 Expresión del argumento en lenguaje simbólico o formal:

(p↔q)v(r→┐p)

 Tabla de verdad simulador lógica UNAD

  Tabla de verdad manual:

(p↔q)v(r→┐p)

p q r ┐p (p↔q) (r→┐p) (p↔q)v(r→┐p)

v v v f v f v

v v f f v v v

v f v f f f f

v f f f f v v

f v v v f v v

f v f v f v v

f f v v v v v

f f f v v v v

El argumento es una contingencia

3.3 Ejercicio 3 Problemas de aplicación

B. (p→q)ꓥ(rꓥs)

 Proposiciones simples

p Dios está conmigo

q Quien contra mi
r El Señor es mi pastor

s Nada me falta

 Si Dios está conmigo entonces, quien contra mi y El Señor es mi pastor y nada me

falta

 Tabla de verdad simulador lógica UNAD

  Tabla de verdad manual

(p→q)ꓥ(rꓥs)

p q r s (p→q) (rꓥs) (p→q)ꓥ(rꓥs)

v v v v v v v

v v v f v f f

v v f v v f f

v v f f v f f

v f v v f v f

v f v f f f f

v f f v f f f

v f f f f f f

f v v v v v v

f v v f v f f

f v f v v f f

f v f f v f f

f f v v v v v

f f v f v f f

f f f v v f f

f f f f v f f

 El argumento es una contingencia

4. Conclusiones.

 Se comprendió el concepto de cuantificadores universales, existenciales y la

equivalencia entre los mismos.

 Se aprendió a determinar cuando una expresión es una proposición.

 Se identifica claramente el significado de los operadores lógicos.

 Aprendí a expresar simbólicamente una proposición.

 5. Referencias bibliográficas

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. Recuperado de

http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=322645

7&tm=1529246259924.

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.

(pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de

https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID=31997

01&tm=1529335849013.

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.

(pp. 106-112). Ediciones Elizcom, Madrid. Recuperado de

https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docID=3199

701&tm=1529510366591.