Unidad 1- Proposiciones y Tablas de Verdad

Tutor/a: Yersson David Moquera

Estudiante: Johan Sebastian Ramirez Herrera

Código: 1004518425

Grupo:200611_1837

Universidad Nacional Abierta y a Distancia UNAD

Escuela Ciencias de la Educación

Tecnologia en Logistica Industrial

Pensamiento Lógica y Matemática

Dosquebradas, Septiembre del 2019

Ejercicio 3:

A. (𝑝 ∧ 𝑞) → (𝑟 ⋀ 𝑠)

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto académico.

R/ p: Según Kant, si la intuición se constituye de materia

q: y de forma

r: entonces la materia es la sensación

s: y la forma es Espacio – tiempo.

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

R/ Según Kant, si la intuición se constituye de materia y de forma, entonces la materia es la
sensación y la forma es Espacio – tiempo.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico
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 v
v f v f f f v
v f f v f f v
v f f f f f v
f v v v f v v
 f v v f f f v
f v f v f f v
f v f f f f v
f f v v f f v
f f v f f f v
f f f v f f v
f f f f f f v

 Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia.
R/ La tabla es de contingencia: aquella proposición puede ser verdadera o falsa según las
proposiciones que la integren (es una combinación entre tautología y contradicción). dicho
de otra forma, su valor F, no depende de los valores de verdad de las proposiciones que la
forman.
 Bibliografía

Proposiciones y Conectores lógicos

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
=3199701&tm=1529335849013
Simulador Lógica UNAD

Marín J. (2019). [Simulador Lógica UNAD]. Recuperado de: http://logicaunad.com/jtruth/

Proposiciones y tablas de verdad

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=
3226457&tm=1529246259924