形式逻辑的含义：
形式逻辑是研究思维形式的结构及其规律的科学。不矛盾律、排中律和同一律总称为形式逻辑的基本规律。
判断及其分类：
| 含义 | 判断就是对认识对象情况有所断定的思维形式 | |
| 基本 特征 |
①对认识对象有所断定，是判断的一个基本特征。断定的方式有两种：一是肯定，二是否定。 ②判断的另一个基本特征是有真假之分。任何一个判断，不是真的就是假的，有断定就会有真假，判断的两个基本特征是相互联系的 | |
| 形成恰当判断的条件 | 首先要对认识对象的情况有正确的认识。其次要运用内涵明确、外延确定的概念构成判断。此外，在概念的搭配方面、在判断的联结方面也需恰当 | |
| 分类 |
简单 |
①性质判断：断定认识对象具有或者不具有某种性质的简单判断； ②关系判断：断定认识对象之间关系的判断 |
| 复合判断 | ①联言判断：一个联言判断至少包含两个联言支。只有组成它的各个联言支都是真的，这个联言判断才是真的。也就是说，它要求各个联言支的断定都要与实际相符合。 ②选言判断：分为相容的选言判断和不相容的选言判断。一个相容选言判断是真的，要求它的选言支中至少有一个是真的，也可以都是真的。如果没有选言支是真的，这个选言判断就是假的。一个不相容选言判断是真的，要求它的选言支中有而且只能有一个是真的。如果有两个或两个以上的选言支是真的，或者没有选言支是真的，这个不相容选言判断就是假的。 ③假言判断：分为充分条件假言判断、必要条件假言判断和充分必要条件假言判断。假言判断的逻辑性质取决于判断所揭示的事物情况之间条件关系能否成立。有时，前件和后件都是假的，但事物情况之间确实存在着某种条件关系，这样的判断仍然可以是真的 | |