Formaliaciones

1)Todos los actores son famosos
D = los actores
F(-): - es famoso
∀xF(x)

2)algunos padres son responsables
D = los padres
R(-): - es responsable
∃xR(x)

3)Todos los miembros son padres o maestros
D = los miembros
P(-): - es padre
MA(-): - es maestro
∀x[P(x) ∨ MA(x)]

4)algunos polticos son incompetentes
 D = los polıticos
I(-): - es incompetente
C(-): - es corrupto
∃x[I(x) ∨ C(x)]

5) las manzanas y los platanos son nutritivos
D1 = las manzanas (x)
D2 = los platanos (y)
N(-): - es nutritivo
∀xN(x) ∧ ∀yN(y)

6)algunas frutas y verduras son nutritivas
D1 = las frutas (x)
D2 = las verduras (y)
N(-): - es nutritivo
∃xN(x) ∧ ∃yN(y)

7)si algo anda mal todos se quejan
D1 = las cosas (x)
D2 = las personas (y)
M(-): - anda mal
Q(-): - se queja
∃xM(x) −→ ∀yQ(y)

8)pedro es amigo de todos
D = las personas
A(-,-): - es amigo de -
∀xA(p, x)

9)algunos son amigos de pedro
D = las personas
A(-,-): - es amigo de -
∃xA(x, p)

10)Todos son amigos de todos
 D = las personas
A(-,-): - es amigo de -
∀x∀yA(x, y)

11)solo los ejecutivos llevan cartera
D = las personas
E(-): - es ejecutivo
C(-): - lleva cartera
∀x[C(x) −→ E(x)] ∀x[¬E(x) −→ ¬C(x)]

12)hay por lo menos una cosa que es humana y es mortal
D = las cosas
 H(-): - es humana
 M(-): - es mortal
∃x[H(x) ∧ M(x)]