现将相关知识点做了简单的梳理~~

对当关系推理是一种简单句推理，具体来讲就是关于直言命题的推理。

直言命题在结构上由主项（Subject: S）、谓项（Predicate: P）、联项（是/不是）和量项（全称量项、特称量项、单称量项）组成。直言命题分为以下六种形式：

SAP：所有S是P（全肯）；

SEP：所有S不是P（全否）；

SIP：有些S是P（特肯）；

SOP：有些S不是P（特否）；

SaP: 某个S是P（单肯）；

SeP: 某个S不是P（单否）；

直言命题的周延性（周延性是指直言命题的主项或谓项的外延的断定情况）：主项的周延性由量项来决定，量项是全称的，则主项周延，量项是特称的则主项不周延；谓项的周延性由联项来决定，联项是否定的则周延，联项是肯定的则不周延。（特主、肯谓不周，其余都周）

直言命题的逻辑方阵（六角阵图）如下：

http://s13/middle/88a2cc1dgbcbd56c5f13c&690

其中由矛盾关系：可推出一真一假；（不能同真或同假）

反对关系：必有一假；（可以同假，但不能同真）

下反对关系：必有一真；（可以同真，但不能同假）

从属关系：可以同真或同假。