Los jefes de estado sólo conservan el poder si contemporizan con el presidente de una nación poderosa. Todos los jefes de estado son polı́ticos, y algunos de ellos con servan el poder. Los presidentes de naciones poderosas no son cándidos y justifican la guerra. Quién justifica la guerra es un cı́nico o un cándido. LUEGO: Algunos polı́ticos contemporizan con un cı́nico. /* JEFES DE ESTADO */ forall(X, forall(X, forall(X, forall(X, (je(X)/\cs(X)) -> exists(Y, pp(Y)/\cp(X,Y))). je(X) -> pl(X)) /\ exists(X, je(X) /\ cs(X)). pp(X) -> ((-cd(X))/\ jg(X))). jg(X) -> (cn(X)\/cd(X))). :exists(X, exists(Y, pl(X)/\ cn(Y) /\ cp(X,Y))). Skolemizacion. Clausulas: (1) pp(a(_G570)) <- je(_G570), cs(_G570) (2) cp(_G570, a(_G570)) <- je(_G570), cs(_G570) (3) pl(_G1125) <- je(_G1125) (4) je(b) <(5) cs(b) <(6) <- pp(_G1483), cd(_G1483) (7) jg(_G1483) <- pp(_G1483) (8) cn(_G1790), cd(_G1790) <- jg(_G1790) (9) <- pl(_G2057), cn(_G2060), cp(_G2057, _G2060) Cota de bsqueda: 9. Empiezo con 1 Empiezo con 2 cp(_G2588, a(_G2588)) <- je(_G2588), cs(_G2588) (9) <- pl(_G2644), cn(_G2649), cp(_G2644, _G2649) <- je(_G2682), cs(_G2682), pl(_G2682), cn(a(_G2682)) (3) pl(_G2736) <- je(_G2736) <- je(_G2774), cs(_G2774), cn(a(_G2774)), je(_G2774) (8) cn(_G2833), cd(_G2833) <- jg(_G2833) cd(a(_G2881)) <- je(_G2881), cs(_G2881), je(_G2881), jg(a(_G2881)) (6) <- pp(_G2940), cd(_G2940) <- je(_G2975), cs(_G2975), je(_G2975), jg(a(_G2975)), pp(a(_G2975)) (7) jg(_G3036) <- pp(_G3036) <- je(_G3080), cs(_G3080), je(_G3080), pp(a(_G3080)), pp(a(_G3080)) (1) pp(a(_G3150)) <- je(_G3150), cs(_G3150) <- je(_G3193), cs(_G3193), je(_G3193), je(_G3193), cs(_G3193) (4) je(b) <<- cs(b), cs(b) (5) cs(b) <<- 1 Los protozoos se dividen el pequeños, peludos y suaves. Los naturalistas desprovistos de microscopio solamente observan protozoos grandotes. Algunos naturalistas pobres observan protozoos ásperos. Ningún pobre está provisto de microscopio. LUEGO: No faltan naturalistas que observan protozoos peludos. /* PROTOZOOS */ forall(X, forall(X, exists(X, forall(X, pz(X) -> (pq(X)\/ pl(X) \/ sv(X))). forall(Y, (nt(X)/\dm(X)/\ ob(X,Y) /\ pz(Y)) -> (-pq(Y)))). exists(Y, nt(X)/\ pb(X) /\ ob(X,Y) /\ pz(Y) /\ (-sv(Y)))). pb(X) -> dm(X)). : exists(X, exists(Y, nt(X) /\ ob(X,Y) /\ pz(Y) /\ pl(Y))). Skolemizacion. Clausulas: (1) pq(_G343), pl(_G343), sv(_G343) <- pz(_G343) (2) <- nt(_G697), dm(_G697), ob(_G697, _G700), pz(_G700), pq(_G700) (3) nt(a) <(4) pb(a) <(5) ob(a, b) <(6) pz(b) <(7) <- sv(b) (8) dm(_G2145) <- pb(_G2145) (9) <- nt(_G2330), ob(_G2330, _G2333), pz(_G2333), pl(_G2333) Cota de bsqueda: 9. Empiezo con 1 pq(_G3011), pl(_G3011), sv(_G3011) <- pz(_G3011) (2) <- nt(_G3079), dm(_G3079), ob(_G3079, _G3090), pz(_G3090), pq(_G3090) pl(_G3142), sv(_G3142) <- pz(_G3142), nt(_G3157), dm(_G3157), ob(_G3157, _G3142), pz(_G3142) (7) <- sv(b) pl(b) <- pz(b), nt(_G3251), dm(_G3251), ob(_G3251, b), pz(b) (8) dm(_G3304) <- pb(_G3304) pl(b) <- pz(b), nt(_G3361), ob(_G3361, b), pz(b), pb(_G3361) (4) pb(a) <pl(b) <- pz(b), nt(a), ob(a, b), pz(b) (9) <- nt(_G3520), ob(_G3520, _G3526), pz(_G3526), pl(_G3526) <- pz(b), nt(a), ob(a, b), pz(b), nt(_G3593), ob(_G3593, b), pz(b) (3) nt(a) <<- pz(b), ob(a, b), pz(b), ob(a, b), pz(b) (5) ob(a, b) <<- pz(b), pz(b), pz(b) (6) pz(b) <<- 2 Todos los perros persiguen gatos. Algunos gatos persiguen perros. Un gato bien educado jamás persigue perros. A los perseguidores de gatos no les gustan los gatos mal educados. LUEGO: Algunos gatos no gustan a ningún perro. /* PERROS Y GATOS */ %forall(X, pr(X) -> pg(X)). %exists(X,gt(X) /\ pp(X)). %forall(X, (gt(X) /\ be(X)) -> (-pp(X))). %forall(X,forall(Y, (pg(X) /\ gt(Y) /\ (-be(Y)) -> (-gs(X,Y))))). %: exists(X, gt(X) /\ forall(Y, pr(Y) -> (-gs(Y,X)))). forall(X, exists(X, forall(X, forall(X, pr(X) -> exists(Y, gt(Y) /\ pg(X,Y))). exists(Y, gt(X) /\ pr(Y) /\ pg(X,Y))). forall(Y, (gt(X) /\ pr(Y) /\ be(X)) -> (-pg(X,Y)))). forall(Y, (gt(X) /\ pg(Y,X)) -> forall(Z, (gt(Z) /\ (-be(Z))) -> (-gs(Y,Z))))). :exists(X, gt(X) /\ forall(Y, pr(Y) -> (-gs(Y,X)))). Skolemizacion. Clausulas: (1) gt(a(_G349)) <- pr(_G349) (2) pg(_G349, a(_G349)) <- pr(_G349) (3) gt(b) <(4) pr(c) <(5) pg(b, c) <(6) <- gt(_G1154), pr(_G1157), be(_G1154), pg(_G1154, _G1157) (7) be(_G1864) <- gt(_G1773), pg(_G1776, _G1773), gt(_G1864), gs(_G1776, _G1864) (8) pr(d(_G2828)) <- gt(_G2828) (9) gs(d(_G2828), _G2828) <- gt(_G2828) Cota de bsqueda: 9. Empiezo con 1 gt(a(_G3434)) <- pr(_G3434) (7) be(_G3493) <- gt(_G3498), pg(_G3503, _G3498), gt(_G3493), gs(_G3503, _G3493) be(_G3542) <- pr(_G3547), pg(_G3552, a(_G3547)), gt(_G3542), gs(_G3552, _G3542) (2) pg(_G3606, a(_G3606)) <- pr(_G3606) be(_G3650) <- pr(_G3655), gt(_G3650), gs(_G3655, _G3650), pr(_G3655) (6) <- gt(_G3719), pr(_G3724), be(_G3719), pg(_G3719, _G3724) <- pr(_G3771), gt(_G3776), gs(_G3771, _G3776), pr(_G3771), gt(_G3776), pr(_G3797), pg(_G3776, _G3797) (4) pr(c) <<- pr(_G3886), gt(_G3891), gs(_G3886, _G3891), pr(_G3886), gt(_G3891), pg(_G3891, c) (5) pg(b, c) <<- pr(_G3992), gt(b), gs(_G3992, b), pr(_G3992), gt(b) (8) pr(d(_G4054)) <- gt(_G4054) <- gt(b), gs(d(_G4100), b), gt(b), gt(_G4100) (9) gs(d(_G4151), _G4151) <- gt(_G4151) <- gt(b), gt(b), gt(b), gt(b) (3) gt(b) <<- 3 Hay intelectuales que no tienen ni un solo amigo honrado. Todo intelectual es amigo de algún polı́tico inteligente. Los polı́ticos se dividen en honrados, hipócritas y tontos. LUEGO: Hay intelectuales con algún amigo hipócrita. /* INTELECTUALES */ exists(X, in(X) /\ forall(Y, am(Y,X) -> (-hn(Y)))). forall(X, in(X) -> exists(Y, am(Y,X) /\ pl(Y) /\ ig(Y))). forall(X, pl(X) -> (hn(X) \/ hp(X) \/ (-ig(X)))). :exists(X, exists(Y, in(X) /\ am(Y,X) /\ hp(Y))). Skolemizacion. Clausulas: (1) in(a) <(2) <- am(_G344, a), hn(_G344) (3) am(b(_G751), _G751) <- in(_G751) (4) pl(b(_G751)) <- in(_G751) (5) ig(b(_G751)) <- in(_G751) (6) hn(_G1317), hp(_G1317) <- pl(_G1317), ig(_G1317) (7) <- in(_G1700), am(_G1703, _G1700), hp(_G1703) Cota de bsqueda: 7. Empiezo Empiezo Empiezo Empiezo Empiezo Empiezo Empiezo con con con con con con con 1 2 3 4 5 6 7 Otra cota? Cota: 8. Empiezo con 1 in(a) <(4) pl(b(_G2241)) <- in(_G2241) pl(b(a)) <(6) hn(_G2310), hp(_G2310) <- pl(_G2310), ig(_G2310) hn(b(a)), hp(b(a)) <- ig(b(a)) (2) <- am(_G2397, a), hn(_G2397) hp(b(a)) <- ig(b(a)), am(b(a), a) (5) ig(b(_G2488)) <- in(_G2488) hp(b(a)) <- am(b(a), a), in(a) (7) <- in(_G2575), am(_G2580, _G2575), hp(_G2580) <- am(b(a), a), in(a), in(_G2626), am(b(a), _G2626) (3) am(b(_G2675), _G2675) <- in(_G2675) <- in(a), in(a), in(a) (1) in(a) <<- 4 Un matemático solo es genial si cuadra cı́rculos. Todos los cuadradores de cı́rculos son locos o tramposos. Una astróloga solo puede alcanzar fama seduciendo a algún matemático genial y cuerdo. LUEGO: Toda astróloga famosa seduce a algún tramposo. /*** MATEMATICOS ***/ forall(X, (mt(X) /\ gn(X)) -> cc(X)). forall(X, cc(X) -> (lc(X) \/ tr(X))). forall(X, (as(X) /\ fm(X)) -> exists(Y, mt(Y)/\ gn(Y) /\ (-lc(Y)) /\ sd(X,Y))). : forall(X, (as(X)/\ fm(X)) -> exists(Y, tr(Y) /\ sd(X,Y))). Skolemizacion. Clausulas: (1) cc(_G311) <- mt(_G311), gn(_G311) (2) lc(_G579), tr(_G579) <- cc(_G579) (3) mt(a(_G848)) <- as(_G848), fm(_G848) (4) gn(a(_G848)) <- as(_G848), fm(_G848) (5) <- as(_G848), fm(_G848), lc(a(_G848)) (6) sd(_G848, a(_G848)) <- as(_G848), fm(_G848) (7) as(b) <(8) fm(b) <(9) <- tr(_G1919), sd(b, _G1919) Cota de bsqueda: 9. Empiezo con 1 cc(_G2444) <- mt(_G2444), gn(_G2444) (2) lc(_G2496), tr(_G2496) <- cc(_G2496) lc(_G2527), tr(_G2527) <- mt(_G2527), gn(_G2527) (3) mt(a(_G2588)) <- as(_G2588), fm(_G2588) lc(a(_G2627)), tr(a(_G2627)) <- gn(a(_G2627)), as(_G2627), fm(_G2627) (4) gn(a(_G2697)) <- as(_G2697), fm(_G2697) lc(a(_G2742)), tr(a(_G2742)) <- as(_G2742), fm(_G2742), as(_G2742), fm(_G2742) (5) <- as(_G2813), fm(_G2813), lc(a(_G2813)) tr(a(_G2866)) <- as(_G2866), fm(_G2866), as(_G2866), fm(_G2866), as(_G2866), fm(_G2866) (9) <- tr(_G2934), sd(b, _G2934) <- as(_G2976), fm(_G2976), as(_G2976), fm(_G2976), as(_G2976), fm(_G2976), sd(b, a(_G2976)) (6) sd(_G3054, a(_G3054)) <- as(_G3054), fm(_G3054) <- as(b), fm(b), as(b), fm(b), as(b), fm(b), as(b), fm(b) (7) as(b) <<- fm(b), fm(b), fm(b), fm(b) (8) fm(b) <<- 5