Professional Documents
Culture Documents
Predicate 1
Predicate 1
Moral(Tolw)
contradiotiom
hone and a
produee
l a e . io
Ihe I l
Givo 1luat
detecnin.
(a) ALL deetuo e
ngone who is deterined and mteliqent wi ll ge.
() AcRNiCc
7 b ( ) v I ( ) v G(
KR(Mary) AI (Mary)
S-RC«)vD(«), D(vI()VG (x), R(Many),1(Many
New we tave topve tha Many i l geve good
ie, L = Ge Mary)
The L'
where = G(Marg) conaeqmeneo.
wah to hd tliatL s a logical
we os t a t
Logical cowaeqmewee o Si
R e o s t mtree. v
R(Many)
b(Mang
G(Many) 1Ge(Mary
nE(25)
follews;
Setution: Le wo ymboize abve iwgumens iw FoL ao
Member (x) xs a menber o Rotary
s(x)
ihco ( x Y ) xikeo Y.
Waex).
Fos
w)Mamber (Jot).
()(Manben()a7 Me(L)as)
Logiaal
Memberr (1)vMe(
tuiss
lae
shuiy
¬prore(Y) (wealthy
= ()
a)Shuid ()¬ Smornt (x)
thaawne We
Wealtg ()’xin wealthy
poor in’x (x) Poor
otui ()-xin stupid
olloo: ameno
ao FoL uw aloveymbotize Sotion:
uoLet
be. ayo law
aw itt tond
uid. not aro. read shs pooste Thoe.
haby ae wart ae auc povr wot are who peote AuCa)
that given
conoeameno.
S. of Logieal thatcomede
io oc
ean we s, det te. achieved
to coniradictiowb Smee
w)
-ueuy)v
(, pam
Ristorg (goh, 7pas
Ratog)vnualy
(4eh) -pas(otn,
logicol OWseqmemco.
Ox)poor (x)a Smat (x)happ ))
(2)Y(Cad4). worvtt (Y
(3) Read (goh)Pror
()VE) (hapy (z)--’ exeitng (z )
lawne torcw
a y (x
peorr (x) Vs Swat(x) v
7ead (Y)V Sma t(Y)
(3)
logeal.
po ()vnSmar+()vhatpy()
Tpoor(Tsl)
-road (Iea)ve*etg(Ieth)
iereitig(w)
* Awmwer exfractiow from
Reasuhon Rtutatia
hybottheis is tue ae
forn.
Thercehove, rtetrimimg wpornatiow ow ttho. cuvicakm mbstihutHiom
nade. mthe esotien rrafutatiow gi ves mtrtion to ihe.
reae. the original
TheaeJL methvd s imolo. reotain
coneui rocordina
tat wsto be proved in to t a t c m l n .
made wthe esgthion
tttoduee atl uiicetiomthat
froeen.
Let w code
where Rdo?
Tue. redicales are:
at (Totw, X) - at (Fdo, x)
at (Tow, brang)
Te lauseo ave
at (Fito, x) libramy)
at (Fdo,'brug)
Ausse exfretion trrvlen ow th
umiicaioo tha! roduee a
Tws a qeneral reou, where 4he
) pareu, pax)
parcu (,fa(x)
quandpa'eiba, Dpwent (Totuv, Y) purrent(Y, w)