假言禅旄褡瘦命题可以与选言命题可以相互转换；假言命题的负命题是联言命题。
假言命题：A→B，等价于选言命题﹁A或蚱澄堆别B；矛盾命题为：A且﹁B。可根据矛盾关系规则进行推导。
选言命题分为两类：
相容的选言命题和不相容的选言命题。相容的选言命题的逻辑联结词以“或者，或者”为典型连接词，表示不同的选言支可以同真；不相容的选言命题的逻辑联结词以“要么，要么”为代表，表示不同的选言支不能同真。
假言命题分为三类：
充分条件假言命题、必要条件假言命题、充分必要条件假言命题。充分条件假言命题的逻辑连接词以“如果，那么”为典型连接词，包括“只要，就”等；必要条件假言命题的逻辑联结词以“只有，才”为典型，包括“除非，才”等；充分必要条件假言命题的逻辑联结词以“当且仅当，才”为典型。
