假言命题

假言命题
术语名称	假言命题
英语名称

假言命题是古典逻辑中对命题的一个分类。假言命题指描述条件关系的命题，此处条件关系包含充分条件、必要条件、充分必要条件。其中，描述充分条件的命题是现代逻辑学中的条件命题（也有时称为“假言命题”），描述必要条件的命题是逆向的条件命题，而描述充分必要条件的命题是现代逻辑学中的双条件命题。

需要注意的是，假言命题是古典逻辑学的一个分类，在哲学下的逻辑学仍在使用，但它不是一个数理逻辑中的常用分类方式。数理逻辑在使用这个词时，往往仅指代描述充分条件的子类。