5. 對當推理 5.1 基本定義
在古典邏輯中，「對當推理」(Opposition Inference)是指以「對當關係」(Opposition Relation)為基礎的推理，而「對當關係」則是指包含四個經典量詞(即"every"、"no"、"some"和"not every")的量化句(分別記作A、E、I和O)之間的各種邏輯關係，其定義見下表(在以下定義中，設p和q為量化句)：
