Meanings1quantificational logic (i.e. first-order logic)Written Forms量化邏輯Traditional · Main Form量化逻辑Alternate Form