Unidad 1:

Lógica proposicional, tablas de verdad en proposiciones compuestas, álgebra de

proposiciones, tautologías y contradicciones y contingencias, proposiciones categóricas,

cuantificadores.

Presentado Por:
Anny Liseth Martínez Segura

Grupo:
200611_499

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA_UNAD

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA ECBTI
INGENIERIA DE ALIMENTOS
CEAD SAN VICENTE DEL CAGUAN
2020
Ejercicio 3: Problemas de aplicación

 Expresión formal o simbólica:

A. (¬ p ∧ r)↔(q ∨ s)

 Definición de las proposiciones simples:

P= Mariana cumple a cabalidad con las pautas de las guías

q= perderá la materia

r= hace los trabajos a su modo

s= tendrá baja puntuación

 Lenguaje natural de la expresión formal:

Si Mariana, no cumple a cabalidad con las pautas de las guías y hace los trabajos a
su modo, si y solo si perderá la materia ó tendrá baja puntuación.
 Tabla de verdad con el simulador Lógica UNAD:

(~ p ∧ r )  ( q ∨ s )

p q r s (~p∧r)↔(q∨s)
v v v v F

v v v f F
v v f v F

v v f f F
v f v v F

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

f v v v V
f v v f V

f v f v F
f v f f F

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

f f f f V

 Tabla de verdad manualmente:

 p q r s (~p ∧ r )   ( q  ∨  s)
V V V V F F V F V V V
V V V F F F V F V V F
V V F V F F F F V V V
V V F F F F F F V V F
V F V V F F V F F V V
V F V F F F V V F F F
V F F V F F F F F V V
V F F F F F F V F F F
F V V V V V V V V V V
F V V F V V V V V V F
F V F V V F F F V V V
F V F F V F F F V V F
F F V V V V V V F V V
F F V F V V V F F F F
F F F V V F F F F V V
F F F F V F F V F F F
CONTINGENCIA

 Resultado de la tabla de verdad: CONTINGENCIA