TAREA 1

PROPOSICIONES Y TABLAS DE VERDAD

DAYANA DIAZ
Cod: 1065812072
N.G:144

CIRO EFRAIN MARTINEZ

Tutor

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PSICOLOGIA
VALLEDUPAR- CESAR
2020
 Introducción

El siguiente trabajo se conocen los conceptos de preposiciones lógicas además de presentar las
preposiciones con ejemplos que le sean familiares entre las cuales se emplea las transición del
lenguaje natural al lenguaje simbólico, la elaboración de tablas de verdad y el uso de software
simulador.
 Objetivos

*Comprender los conceptos principales y más importantes de la lógica preposicional.

*Aplicar los conceptos de la lógica preposicional para la solución de problemas, y tener en
cuenta como se debe hacer una tabla de verdad.
Ejercicio 1
El tema escogido es la letra B Cuantificador Universal Negativo
https://1drv.ms/p/s!AkxP9mRXMg1pgSSjeL_mJaGFFHun?e=go2lV8
Cuantificadores
Se le llama a una frase que indique cuantos objetos cumplen con determinada propiedad. Se
simboliza con ∀= para todo.
Se clasifican en
1. Existenciales
2. Universal
* Negativos
* Afirmativos
Cuantificador Universal Negativo
Equivale a la negación de una función proposicional, las frases que común mente se usan para
denotar el cuantificador universal negativo son
*Para ninguno
*Ninguno
*No
*Nadie
*Nada
Ejemplos de Cuantificador Universal Negativo
*Ninguno de los trabajadores se interesa por despachar
∀𝑥(¬𝑇𝑟𝑎𝑏𝑎𝑗𝑎𝑑𝑜𝑟𝑒𝑠(𝑥))
*Nadie gano la apuesta
∀𝑥(¬𝑔𝑎𝑛𝑜(𝑥))
*Nada florece con esta sequia
∀𝑥(¬𝑓𝑙𝑜𝑟𝑒𝑐𝑒(𝑥))
*No quiero servir el pastel lo quiero para mi sola
∀𝑥(¬𝑠𝑒𝑟𝑣𝑖𝑟(𝑥))
Ejercicio 2 Proposiciones y Tablas de Verdad
B. Gabriel Garcia Márquez escribió cien años de soledad o la Ilíada. Si y solo si es un escrito
brillantes e ingenioso.
Son tres proposiciones simples
Definir proposiciones Simples
p= Gabriel Garcia Márquez escribió cien años de soledad
q= La Ilíada
r= Es un escritor brillante e ingenioso

Lenguaje simbólico o formal

𝑝𝑉𝑞 ↔ 𝑟

Generar tabla de verdad con simulador lógica UNAD a partir del lenguaje simbólico
Tabla de verdad manualmente
P q r 𝒑𝒗𝒒 𝒒↔𝒓 𝑝𝑉𝑞 ↔ 𝑟

V v v v v v
V v f v f f
V f v v v v
V f f v v f
F v v v v v
F v f f f f
F f v v v f
F f f f v v

El resultado es una Contingencia

Ejercicio 3 Problemas de Aplicación
Proposiciones compuestas en el lenguaje simbólico (argumento) para el desarrollo del ejercicio 3
B. [(𝒑˄𝒒) ↔ (~𝒓⋀𝒔)]
p: Dayana lee un libro
q: tiene que sacar buena nota
r: su puntaje bajo no la ayudara
s: Dayana trabaje y estudie
Lenguaje natural de la expresión formal
Dayana lee un libro porque tiene que sacar buena nota, ya que su puntaje bajo no la ayudara así
Dayana trabaje y estudie debe de rendir.

Tabla de verdad con el simulador Lógica UNAD

Generar tabla manualmente a partir del lenguaje simbólico y determinar si el resultado es
una tautología, contingencia o contradicción.
p q r ¬𝑝 (𝑝 ↔ 𝑞) (𝑟 (𝑝 ↔ 𝑞)𝑉(𝑟
→ (¬𝑝)) → (¬𝑝)
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 resultado es Contingencia

Conclusión

Se logra comprender los conceptos de preposiciones lógica y el desarrollo del problema, gracias
a las actividades propuestas se logra identificar y comprender los elementos sencillas en las
preposiciones y la forma de aplicarlos para resolver un problema cotidianos por medio de tablas
de verdad, la cual muestra el valor de verdad de una preposición compuesta para cada
combinación de verdad que se pueda asignar.

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

Retrieved from https://ebookcentral-proquest-com.bibliotecavirtual.unad.edu.co