M ts ts nh nh xn xé ét 2 \
Marcus mu Marcus m un g in g it Ceresa rt Ceresar u
\
\ MM i ngi ng i i đđ u trung thu trung thàành vnh v i mi m t ngt ng i ni nàào o đđóó
∀
∀X, X, ∃∃Y LOYALTO(X, Y)Y LOYALTO(X, Y) hoho cc ∃∃Y, Y, ∀∀X LOYALTO(X, Y)X LOYALTO(X, Y) \
\ Nhân dân chNhân dân ch mumu n gin gi t nht nh ng kng k cc m quym quy nn
m
màà hh không trung thkhông trung thàànhnh∀ ∀
∀X, X, ∀∀Y PERSON(X) Y PERSON(X) ∧∧ RULER(Y) RULER(Y) ∧∧ TRYASSASSINATE(X, Y) TRYASSASSINATE(X, Y) →→
¬
¬LOYALTO(X, Y)LOYALTO(X, Y) M
M nh nh đđ nànày ty t ra mra m p mp m (ambiguous). Có(ambiguous). Có phph i chi ch nhnh ng kng k cc m m quy
quy n mn màà nhân dân munhân dân mu n gin gi t lt làà nhnh ng kng k hh không trung thkhông trung thàành (theo nh (theo ngh
ngh a a đđã biã bi u tr ngu tr ng) hay ch) hay ch nhnh ng ng đđii u mu màà nhân dân cnhân dân cóó ý ý đđ nh lnh làà gigi t t nh
nh ng kng k cc m quym quy n mn màà hh không trung thkhông trung thàành ?nh ? \
\ Marcus muMarcus mu n gin gi t Ceresart Ceresaru u
u TRYASSASSINATE(marcus, caesar)TRYASSASSINATE(marcus, caesar) \
51/
51/6969
B
Bàài ti t p 2p 2
\
\ Cho cCho cáác câu sau :c câu sau :u u
u Marcus lMarcus làà mm t ngt ng ii
u
u Marcus lMarcus làà ng ng i Pompeiii Pompeii
u
u Marcus sinh n m Marcus sinh n m 40 trong công nguyên (A.D.: Anno Domini)40 trong công nguyên (A.D.: Anno Domini)
u
u MM i ngi ng i i đđ u (ai cu (ai c ng phng ph i) chi) ch tt
u
u TT t ct c mm i ngi ng i dân Pompeii i dân Pompeii đđ u bu b chch tt v
vìì nnúúi li l a phun va phun vàào n m o n m 79 A.D.79 A.D.
u
u Không cKhông cóó ng ng i ni nàào (không ai) so (không ai) s ng nhing nhi u h n u h n 150 tu150 tu ii
u u Bây giBây gi llàà n m n m 20072007 u u Còn sCòn s ng cng cóó nghngh a la làà không chkhông ch tt u u NN u ai u ai đđóó chch t, tht, thìì ng ng i i y cy cóó thth chch t t mm i thi th i i đđii m sau m sau đđóó u
u Marcus còn sMarcus còn s ng không ?ng không ? \
\