Discreet lec 3.pdf


Preview of PDF document discreet-lec-3.pdf

Page 1 2 3 4 5 6 7 8 9 10

Text preview


Examples
 All S are P : x S(x)  P(x)



“All lions are fierce”
x l(x)  f(x)

 Some S are P : x (S(x)  P(x))



“Some lions do not drink coffee”
x (l(x)  d(x))

6