來說說三段論中的大前提。由于演繹推理總是由一般指向個(gè)例，所以大前提往往是全稱判斷。全稱，指某類事物的全體。與之相反的稱為特稱，指個(gè)體。
比如，人有智慧。這里人是全稱，指所有人。
張三有智慧。這里張三是特稱，指張三這個(gè)人。
回頭看三段論的邏輯形式，就會(huì)發(fā)現(xiàn)，大前提是規(guī)定了一個(gè)集合范圍的屬性（全稱判斷），小前提是明確了某元素屬于集合范圍內(nèi)，結(jié)論為某元素賦予了屬性（特稱判斷）。邏輯計(jì)算中稱為賦值。這個(gè)過程，與概念包含關(guān)系時(shí)的邏輯運(yùn)用相同。亞里斯多德的三段論，在今天邏輯學(xué)的眼中，非常淺顯。
全稱判斷的性質(zhì)，只要為該判斷提供一個(gè)反證，則該判斷為假。
網(wǎng)上抄一題來看看，邏輯學(xué)習(xí)對(duì)于各門功課的作用。
例：2007年普通高等學(xué)校招生全國統(tǒng)一考試數(shù)學(xué)理科（山東卷）一道題：
命題“對(duì)任意的x∈R,x^3-x^2+1≤0，”的否定是
?。ˋ）不存在x∈R,x^3-x^2+1≤0
（B）存在x∈R,x^3-x^2+1≤0，
?。–）存在x∈R,x^3-x^2+1>0，
?。―）對(duì)任意的x∈R,x^3-x^2+1>0，
答案是（C）。用“只要為該判斷提供一個(gè)反證，則該判斷為假”，馬上能得到答案。
