C(x): x es un caballero P(x): x es una princesa D(x):x es un dragón B(x): x es bonito/a
V(x): x es valiente M(x,y): x mata y E(x,y): x ama a y (y es amado por x)
1
Una princesa siempre es valiente
x[P(x)→V(x)]
2
Hay que ser princesa para ser valiente
x[V(x)→P(x)]
3
No hay ningún caballero que no sea valiente
x[C(x)V(x)]
4
Hace falta que no haya dragones para que haya
princesas
xP(x) → xD(x)
5
Una princesa bonita también es valiente
x[P(x)B(x)→V(x)]
6
Para ser caballero hay que haber matado algún dragón
x{C(x)→y[D(y)M(x,y)]}
7
Cualquier caballero ha matado un dragón
x{C(x)→y[D(y)M(x,y)]}
8
Hay princesas que aman a todos los caballeros
x{P(x)y[C(y)→E(x,y)]}
9
Un caballero ha matado todos los dragones
x{C(x)y[D(y)→M(x,y)]}
10
Hay un caballero que sólo mata dragones
x{C(x)y[M(x,y)→D(y)]}
11
Hay caballeros que no han matado ningún dragón
x{C(x)y[D(y)M(x,y)]}
12
Hay un caballero que no ha matado ningún dragón
x{C(x)y[D(y)M(x,y)]}
13
Existe una princesa que es amada por todos los
caballeros
x{P(x)-> y[C(y)->E(y,x)]}
14
Para matar un caballero hay que ser un dragón valiente
x[y(C(y)M(x,y)→D(x)V(x)]
15
Hay un caballero que mata un dragón y que es valiente
x{C(x)y[D(y)M(x,y)]V(x)}
16
Hay caballeros que sólo matan dragones valientes
x{C(x)y[M(x,y)→D(y)V(y)]}
17
Hay caballeros que, de dragones, sólo matan de
valientes
x{C(x)y[M(x,y)D(y)→V(y)]}
18
Un caballero amado por una princesa es valiente
x{C(x)y[P(y)E(y,x)]→V(x)}
19
Los caballeros son todos valientres y las princesas son
todas bonitas
x[C(x)->V(x)]^ x[P(x)->B(x)]
20
Un caballero que mata un dragón es valiente
x{C(x)y[D(y)M(x,y)] → V(x)}
21
Hay un caballero que si matara un dragón sería valiente
x{ C(x) (y[D(y)M(x,y)]→V(x)) }
22
Hace falta que todos los dragones sean valientes para
que alguna princesa sea amada por todos los
caballeros
x{P(x)y[C(y)→E(y,x)]} → y[D(x)→V(x)]
23
Si hubiera un caballero que matara todos los dragones,
no habría princesas valientes
x{C(x)y[D(y)→M(x,y)]} → x[P(x)V(x)]
24
Si todo fueran princesas valientes ningún caballero no
mataría ningún dragón
x[P(x)V(x)] → x{C(x)y[D(y)M(x,y)]}
25
Si se es caballero, es necesario matar un dragón para
ser querido por alguna princesa
x{C(x)→[y(P(y)E(y,x))→y(D(y)M(x,y))]}
26
Hace falta que todos los caballeros hayan matado algún
dragón para que ninguna princesa no sea fea (feo/fea =
no bonito/a)
x[P(x)B(x)] → x{C(x)→y[D(y)M(x,y)]}
27
Las princesas, solo si son bonitas, son amadas por un
caballero valiente
∀x [P(x) ^ ∃y {C(y) ^ V(y) ^ E(y,x)} → B(x)]
28
Hay un caballero que han matado a todos los dragones
y que no ama a ninguna princesa
x[C(x)^ y[D(y)->M(x,y)]^noy[P(y)->E(y,x)]}
29
Un caballero que no sea amado por ninguna princesa
no habrá matado ningún dragón valiente
x{C(x)y[P(y)E(y,x)] → y[D(y)V(y)M(x,y)]}
30
Los caballeros, para ser queridos por una princesa,
deben haber matado a un dragón
∀x [C(x) ^ ∃y {P(y) ^ E(y,x)} -> ∃z (D(z) ^ M(x,z)]
31
Si un caballero es amado por una princesa que también
ama a un dragón, no podrá matar ninguno (dragón)
x{C(x) y[P(y)E(y,x)z(D(z)E(y,z))]→
y[D(y)M(x,y)]}
