TAREA 1 - PROPOSICIONES Y TABLAS DE VERDAD

Elaborado por:

Jean Carlos Jiménez Torrado

Código: 1005075343

Pensamiento Lógico y Matemático

443

Tutor:
JOHN FREDDY RUANO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES
PSICOLOGIA
OCAÑA, N.S., SEPTIEMBRE DE 2019
Introducción

A continuación se les dará a conocer el desarrollo del trabajo de Proposiciones y

Tablas de Verdad, primero se iniciara con una diapositiva la cual trata de
Conceptualización de Cuantificadores y por último unos argumentos del cual se
saca el lenguaje simbólico, de donde se dará inicio al desarrollo de la tabla de
verdad.
Objetivos:

1. Conocer el tema a tratar de la mejor manera posible.

2. Analizar correctamente el argumento propuesto para haci lograr hacer el
lenguaje simbólico.
3. Desarrollar las tablas de verdad correctamente
Ejercicio 1: Conceptualización de Cuantificadores
Ejercicio 2: Proposiciones y Tablas de verdad
A. Empresas estadounidenses no pueden negociar con empresas chinas o
Google es una empresa estadounidense y Si Huawei es una empresa china
entonces no tiene Android de Google.

Proposiciones simples del argumento:

P: Empresas estadounidenses no pueden negociar con empresas chinas

q: Google es una empresa estadounidense

r: Huawei es una empresa china

s: Huawei no tiene Android de Google.

Lenguaje simbólico:

[(⌐p ꓦ q) ꓥ (q ꓥ r) ⌐s]

Tabla de verdad

p q r s (⌐pꓦq) (qꓥr) [(⌐pꓦq) ꓥ(qꓥp)⌐s]

v v v v v v v
v v v f v v v
v v f v v f v
v v f f v f v
v f v v f f 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 v v v
f v v f v v v
f v f v v f v
f v f f v f v
f f v v v f v
f f v f v f v
f f f v v f v
f f f f v f v
TAULOGIA

TABLA DE VERDAD
 EJERCICIO 3

Argumento:

Obtuviste un sobre sobresaliente en el examen entonces hiciste los ejercicios del

libro. Obtuviste un sobre sobresaliente en la asignatura y vas a tener que estudiar
más

Proposiciones simples:

P: Obtuviste un sobresaliente en el examen

Q: Hiciste los ejercicios del libro
R: Obtuviste un sobre saliente en la asignatura
S: vas a estudiar más

Lenguaje simbólico:

(p→q)ꓥ (r ꓥ s)

p q r s (q→q) (rꓥs) (q→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 f v v
f v v f f f f
f v f v f f f
f v f f f f f
f f v v v v v
f f v f v v f
f f f v v f f
f f f f v f f

CONTINGENCIA
Tabla simulador:
Conclusión

La lógica matemática nos ayuda a desarrollar el proceso de pensamiento

encontrando realmente sentido a lo que realizamos.

La lógica matemáticas nos presenta problemas nos enseña a conocerlos,

analizarlos y a desarrollarlos.

La proposición es el elemento esencial de la lógica matemática.

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

Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de

proposiciones, [Vídeo]. Recuperado de http://hdl.handle.net/10596/7961

Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado

de http://hdl.handle.net/10596/13871

Marin J.  (2019). [Simulador Lógica UNAD]. Recuperado

de: http://logicaunad.com/jtruth/