首先,GAI出現在詞匯邏輯的直言命題中。是判斷直言命題是否成立的依據。GAI直言命題是指直言命題的主語和謂語的所有外延是否都判斷過了,如果都判斷過了,那就是GAI的,否則就不是。直言命題有六種,但實際上可以看作只有四種,即:“SAP,SEP,SIP,SOP”,即全稱肯定\否定,專名肯定\否定。
其實,GAI是不是,可以用文字的邏輯來記憶和判斷:“主項是不是GAI,要看數量項,所有稱量項的主項都是GAI,否則就不是GAI。謂語項是不是GAI取決於聯合項,陽性聯合項不是GAI,反之是GAI。”