Nguyễn Chí Bảo edited untitled.tex  almost 8 years ago

Commit id: 96f461118d7d97999234ba0ae91e131400dc52ce

deletions | additions      

       

$\exists$y$\forall$xL(x,y)  \item[f)] There is exactly one person whom everybody loves. \\  $\exists$y($\forall$xL(x,y) $\wedge$ $\forall$z($\forall$wL(w,z)) $\rightarrow$ z $\equiv$ y)\\  \\  10)M(x,y): "x has sent y an e-mail message"; T(x,y): "x has telephoned y".\\  a) $\neg$M(Chou,Koko).\\  b) $\neg$[M(Arlene,Sarah) $\vee$ T(Arlene,Sarah)].\\  c) $\neg$M(Deborah,Jose).\\  d) $\forall$xM(x,Ken).\\  e) $\forall$x$\neg$T(x,Nina).\\  f) $\forall$x[M(x,Avi) $\vee$ T(x,Avii)].\\  \\  11)\\  a)$\exists$x($C_($$_x$$_)$$\wedge$$D_($$_x$$_)$$\wedge$$F_($$_x$$_)$)\\  b)$\forall$x($C_($$_x$$_)$$\wedge$$D_($$_x$$_)$$\wedge$$F_($$_x$$_)$)\\