锟斤拷锟斤拷锟杰夛拷锟叫旓拷锟斤拷俚锟斤拷Z锟斤拷锟斤拷锟斤拷锟斤拷}.锟斤拷锟斤拷锟叫旓拷锟斤拷锟斤拷锟斤拷Z锟斤拷锟斤拷锟斤拷锟斤拷}锟斤拷锟叫旓拷锟斤拷俚锟斤拷Z锟斤拷屑锟斤拷锟斤拷}锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟絵锟絚锟斤拷锟絶锟酵伙拷锟斤拷邏輯聯(li锟斤拷n)锟結(ji锟斤拷)锟絶知锟絉锟絚锟斤拷請锟斤拷锟斤拷锟絎锟斤拷锟斤拷锟秸★拷

锟斤拷锟斤拷1.锟斤拷锟絵锟侥革拷锟斤拷

锟斤拷锟斤拷锟杰夛拷锟叫旓拷锟斤拷俚锟斤拷Z锟斤拷锟斤拷锟斤拷锟斤拷}.锟斤拷锟斤拷锟叫旓拷锟斤拷锟斤拷锟斤拷Z锟斤拷锟斤拷锟斤拷锟斤拷}锟斤拷锟叫旓拷锟斤拷俚锟斤拷Z锟斤拷屑锟斤拷锟斤拷}.

锟斤拷锟斤拷2.全锟絈锟斤拷锟絶锟絚全锟絈锟斤拷锟絵

锟斤拷锟斤拷(1)锟絶锟斤拷锟斤拷锟矫凤拷號“?”锟斤拷示.

锟斤拷锟斤拷(2) (3)全锟絈锟斤拷锟絵锟侥凤拷號锟斤拷示锟斤拷

锟斤拷锟斤拷锟斤拷锟斤拷“锟斤拷M锟叫碉拷锟斤拷锟斤拷x锟斤拷p(x)”锟斤拷锟斤拷锟絵锟斤拷锟矫凤拷號锟斤拷記锟斤拷“?x∈M锟斤拷p(x)”.

     3.锟斤拷锟斤拷锟斤拷锟絶锟絚锟斤拷锟斤拷锟斤拷锟斤拷锟絵

锟斤拷锟斤拷(1)锟侥傦拷锟絯锟津部凤拷锟斤拷邏輯锟斤拷通锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟絶锟斤拷锟斤拷锟矫凤拷號“?”锟斤拷示. (2) (3)锟斤拷锟斤拷锟斤拷锟斤拷锟絵锟侥凤拷號锟斤拷示锟斤拷

锟斤拷锟斤拷锟斤拷锟斤拷“锟斤拷锟节硷拷锟斤拷M锟叫碉拷元锟斤拷x锟斤拷q(x)”锟斤拷锟斤拷锟絵锟斤拷锟矫凤拷號锟斤拷記锟斤拷?x∈M锟斤拷q(x). (4)全锟絈锟斤拷锟絵锟絚锟斤拷锟斤拷锟斤拷锟斤拷锟絵锟侥凤拷

锟斤拷锟斤拷4.(1) (2)锟斤拷锟絵锟斤拷值锟斤拷锟斤拷

锟斤拷锟斤拷[锟統锟絚锟斤拷锟斤拷 1.锟斤拷锟絵锟侥凤拷锟絚锟斤拷锟斤拷锟絵

锟斤拷锟斤拷“锟斤拷锟斤拷锟絵”锟角岋拷原锟斤拷锟絵“锟斤拷p锟斤拷锟絫q”锟侥條锟斤拷锟酵結(ji锟斤拷)論锟街別锟斤拷锟皆否定讹拷锟矫碉拷锟斤拷锟斤拷锟絵锟斤拷锟斤拷锟饺凤拷锟斤拷l锟斤拷锟斤拷锟街凤拷锟斤拷Y(ji锟斤拷)論;“锟斤拷锟絵锟侥凤拷”锟斤拷“锟斤拷p”锟斤拷只锟角凤拷锟斤拷锟絵p锟侥結(ji锟斤拷)論. 锟斤拷锟絵锟侥凤拷锟絚原锟斤拷锟絵锟斤拷锟斤拷倏锟斤拷菍锟斤拷锟斤拷模锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟街伙拷锟揭伙拷锟斤拷锟斤拷锟�锟斤拷锟斤拷原锟斤拷锟絵锟絚锟斤拷锟斤拷锟絵锟斤拷锟斤拷贌o锟斤拷然聯(li锟斤拷n)系. 2.邏輯聯(li锟斤拷n)锟結(ji锟斤拷)锟絶“锟斤拷”锟侥猴拷锟絰

锟斤拷锟斤拷邏輯聯(li锟斤拷n)锟結(ji锟斤拷)锟絶锟叫碉拷“锟斤拷”锟侥猴拷锟絰锟斤拷锟絚锟斤拷锟斤拷锟斤拷锟斤拷锟叫碉拷“锟斤拷”锟侥猴拷锟絰锟斤拷同.锟斤拷“x∈A锟斤拷x∈B”锟斤拷锟斤拷指锟斤拷x∈A锟斤拷x?B;x?A锟斤拷x∈B;x∈A锟斤拷x∈B锟斤拷锟絅锟斤拷r.锟斤拷锟斤拷“p锟斤拷锟絨锟斤拷”锟斤拷指锟斤拷p锟斤拷锟斤拷q锟斤拷;p锟斤拷锟斤拷q锟斤拷;p锟斤拷锟斤拷q锟斤拷锟斤拷锟絅锟斤拷r.

锟斤拷锟斤拷1.锟斤拷锟斤拷锟斤拷锟絵锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟絵锟斤拷锟斤拷號锟斤拷________. 锟斤拷5>2锟斤拷7>4;锟斤拷3>4锟斤拷4>32锟斤拷锟角無锟巾數(sh锟斤拷). 锟斤拷 锟劫�锟�

锟斤拷锟斤拷锟斤拷锟斤拷 锟斤拷5>2锟斤拷7>4锟斤拷锟芥，锟斤拷5>2锟斤拷7>4也锟斤拷. 锟斤拷3>4锟斤拷锟斤拷4>3锟芥，锟斤拷3>4锟斤拷4>3锟斤拷. 锟斤拷22锟斤拷锟角無锟巾數(sh锟斤拷)锟斤拷锟斤拷锟斤拷}.

锟斤拷锟斤拷锟絚锟絬 锟斤拷锟斤拷锟斤拷“锟斤拷”锟斤拷“锟斤拷”锟斤拷“锟斤拷”锟侥忥拷(f锟斤拷)锟斤拷锟斤拷锟絵锟斤拷锟叫旓拷锟斤拷锟斤拷锟叫斷簡锟斤拷锟斤拷锟絵锟斤拷锟劫革拷锟斤拷(j锟斤拷)锟斤拷值锟斤拷锟叫旓拷锟斤拷(f锟斤拷)锟斤拷锟斤拷锟絵.

锟斤拷锟絇(gu锟斤拷n)锟斤拷锟絔锟斤拷

锟斤拷锟斤拷锟竭匡拷锟斤拷(sh锟斤拷)锟絎知锟絉锟絚锟絉锟斤拷

锟斤拷锟铰高匡拷锟結訊锟斤拷锟竭匡拷锟斤拷锟竭★拷锟斤拷前锟绞傦拷锟斤拷志愿锟斤拷锟�锟斤拷锟饺★拷謹锟�(sh锟斤拷)锟斤拷锟斤拷

锟竭匡拷锟絩锟絞锟斤拷锟斤拷全锟斤拷锟斤拷要锟斤拷(ji锟斤拷)锟絚

锟組锟斤拷"锟竭匡拷锟絎(w锟斤拷ng)"微锟脚癸拷锟斤拷號