Unidad 1: Tarea 1 - Proposiciones y tablas de verdad

Cristal Stefy Cardona Rodríguez.

N° Grupo: 200611_1116

Marzo 08 2020

UNAD.

Turbo - Antioquia.

pensamiento lògico y matemàtico

Ejercicio 1: conceptualización de cuantificadores

Elección B y A Cuantificador Universal

los cuantificadores son símbolos que se emplean en los mencionados

contextos para poder señalar cuantos o los tipos de elementos que integran
un conjunto dado y que cumplen con determinada propiedad.

Ejemplos:

● Todas las personas del mundo.

● Todos los niños van a la escuela.
● Todas las personas tienen dientes.
● todos los pueblos tienen casas.
● Cualquiera puede pintar.

1. Cuantificador universal afirmativo.

las frases que se usan son por ejemplo:

todas las personas tienen una ilusiòn:

el predicado es tienen una ilusiòn

entonces p(x) significa que: x tiene una ilusiòn, la palabra “todas las personas”
indica que esto se aplica para todas las x

Para representar una expresión se hace de la siguiente manera:

"Ningun empleado publico es menor de edad"

"Ningun empleado publico" hace referencia a todo un universo de todos los

empleados. Y el predicado es: "es menor de edad".

Se usa para indicar una negación.

Se puede modificar asi:

Para todo y, si y es empleado público, entonces y no es menor de edad.

2. cuantificador universal negativo

para representar una expresiòn se hace de la siguiente manera:

 “ningùn empleado público es menor de edad” “ningùn empleado público” hace
referencia a todo un universo de todos los empleados, y el predicado es: “es
menor de edad” se usa para indicar una negaciòn.

se puede modificar asì: para todo y, si y es empleado pùblico, entonces y no es

menor de edad

Ejercicio 2: Problemas de aplicación

a. Expresión simbólica: [ ( p → ¬r ) ∧ ( q → p ) ∧ ( r ∧q )]→(r ∨ q)

Premisas
P1: ( p →¬ r)
P2: (q → p)
P3: ( r ∧q )

Conclusión: (r ∨q)

SI juego futbol ENTONCES NO practico deporte. SI salgo del equipo ENTONCES

juego futbol. SI practico deporte Y salgo del equipo ENTONCES practicare
deporte O saldré del equipo.

p: juego futbol

q: saldré del equipo

r: practico deporte

p q r ¬r (q → p) ( r ∧q ) [ ( p → ¬r ) ∧ ( q → p ) ∧ ( r ∧q )] (r ∨q) [ ( p → ¬r ) ∧ ( q → p ) ∧ ( r ∧q )]→(r ∨ q
( p →¬ r)

V V V F F V V F V V

V V F V V V F F V V

V F V F F F F F V V
V F F V V F F F V V

F V V F V V V V V V

F V F V V V F F V V

F F V F V V F F F V

F F F V V V F F F V

*Resultado de tabla de verdad TAUTOLOGIA

Ejercicio 3

Expresión simbólica:

[(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶ (∼r⟶ p)

Determinación de Premisas: (De acuerdo a la expresión simbólica

divida el argumento en premisas de forma vertical y deben ser
numeradas)

P1: (𝑝⟶𝑞)

P2: (∼𝑝⟶𝑟)

Conclusión: (∼r⟶ p)

Solución:

P: Estudio en el SENA

q: Estudio en la Remington

r: me cancelan la matricula

SI estudio en el SENA ENTONCES estudio en la Remington SI NO

estudio en el SENA ENTONCES me cancelan la matricula POR LO
TANTO NO me cancelan la matricula ENTONCES estudio en el SENA

p q r ∼ ∼ (𝑝⟶ (∼𝑝 [(𝑝⟶𝑞)∧( (∼r [(𝑝⟶𝑞)∧(∼𝑝⟶

p r 𝑞) ⟶𝑟) ∼𝑝⟶𝑟)] ⟶ 𝑟)]⟶ (∼r⟶ p)
p)

v v v f f v v v v v

v v f f v v v v v v

v f v f f f v f v v
 v f f f v f v f v v

f v v v f v v v v v

f v f v v v f f f v

f f v v f v v v v v

f f f v v v f f f v

RESULTADO DE LA TABLA: Tautología

P1: (𝑝⟶𝑞)

P2: (∼𝑝⟶𝑟)
　
　
Ley de inferencia:

P1: (𝑝⟶𝑞)

P2: (∼𝑝⟶𝑟)

Conclusión: (∼r⟶ p)

P3: (∼r⟶ p) contraria 2