1. 假言 假设
（1）充分条件
（2）必要条件
（3）充分必要条件
2.充分条件
（1）定义：前件所反映的条件一定能得出后件。
（2）逻辑形式
前件P-> 后件Q
逻辑关键词：如果 P那么Q；只要P就Q
（3）充分假言的负判断（即不成立的时候）
前件P为真，后件Q为假时，判断为假。
举例：如果你吃了饭，就不会饿。
前件P：你吃了饭 后件Q：不会饿 P->Q
负判断：前件： 你吃了饭 后件：你会饿。 即 P->^Q
3. 必要条件
（1）定义：前件所反映的条件为表要条件的假言判断最基础条件，少不了，必须具备的，有没有它不一定有结果。有结果一定有前件。
（2）逻辑形式
前件P 后件Q
逻辑关键词：只有P 才Q 。
除非P才Q (除非有钱否则离婚== ^钱->离婚)
（3）必要假言的负判断（即不成立的时候）
前件P为假，后件Q为真时，判断为假。
举例：只有你吃了饭，才饱了。
前件P：你吃了饭 后件Q：饱了 Q->P
负判断：前件P： 你吃了饭 后件Q：饱了。 即 Q->^P
4.充要条件
（1）定义：前件和后件都可以互换为判断基础条件，前件可以推出后件，后件也可以推出前件。
（2）逻辑形式
前件P 后件Q
逻辑关键词：P当且仅当Q
（3）必要假言的负判断（即不成立的时候）
前件P为假，后件Q为真时或者P前件为真，后件Q为假 ，判断为假。
举例：当且仅当三个边相等的三角形，他的角相等。
前件P：三个边相等的三角形 后件Q：角相等 Q->P
前件P：三个角相等的三角形 后件Q：三边相等 Q->P
负判断：前件P： 三个角相等的三角形 后件Q：三个角不相等。 即P->^Q
前件Q： 三个边相等的三角形 后件Q：三个边不相等。 即 Q->^P