TAREA # 7 – LOGICA DE PREDICADOS

NOMBRE: Rolando Arauz Humerez GRUPO: B3 FECHA:14/01/2021

DOCENTE: Ing. Nancy Abarca

a) ¿Qué diferencia existe entre la lógica proposicional y la de predicado?

La lógica proposicional estudia los enunciados en conjunto o premisas, la lógica de predicados
también pero más detallado cuantificando los sujetos y predicados.
b) ¿Que es un cuantificador y cuáles conoce?
Son símbolos para indicar que unos determinados elementos cumplan con cierta propiedad,
cuantificador sujeto singular, sujeto particular (∃x) y sujeto universal (∀x)
c) ¿Qué diferencia existe entre un esquema proposicional y una proposición?
La diferencia que existe entre un esquema proposicional y una proposición es que, las
proposiciones se los trabajan en conjunto ósea (premisas o enunciados) que son definidas y los
esquemas proposicionales tienen variables que no están definidas.
e) ¿Como puede transformar una función proposicional en una proposición? De un ejemplo
Se puede transformar dándole un valor de verdad (F , V),
EJEMPLO: 5+x=8 x=3
5+3=8 V
f) ¿Que representa un sujeto singular, uno universal y uno particular?
Sujeto singular (SS).- Representa a una sola persona o sujeto, “Juan trabaja” T(j)
Sujeto universal (∀x).- Representa a un conjunto en plural (todo), “Todos los perros tienen pelo”

∀x, P(x) →P(x)

Sujeto particular (∃x).-Representa un subconjunto (algunos), “Algunas personas no tienen que
comer” (∃x) P(x)  ¬C(x)

2. Simbolizar las siguientes proposiciones

a) El alcalde de Santa Cruz está enfermo E(a)
b) José no puede ir a trabajar ¬T(j)

c) Algunas personas están infectadas ∃x P(x)  I(x)

d) Todos los estudiantes están estresados ∀x E(x) →E(x)

e) Hay niños desnutridos ∃x N(x)  D(x)

f) Las familias están unidas ∀x F(x) → U(x)

g) Cualquier persona puede conducir un auto. ∀x:P(x) → C(x)

h) Todo ser humano es hombre o mujer. ∀x :H(x) → H(x) M(x)

i) Para todo número entero existe un divisor entero. ∀x: E(x) →D(x)

j) No todos los primos son impares ¬∀x :P(x) →I(x)

3. Diga cuales de las siguientes expresiones son esquemas proposicionales, si lo son transforme
en proposición por sustitución y por cuantificación
a) “x. y” No es E.P.
b) x> y E.P. de dos variables 5>3 VERDADERO
c) x ama a y E.P. de dos variables “Ale ama a Leo” VERDADERO
d) x-3= 7 E.P. de una variable x=5 “5-3=7” FALSO
e) x2– y2 = (x – y) (x + y) E.P. de dos variables x=3; y=2 VERDADERO