演繹演繹は、仮定a{\displaystylea}と規則「a{\displaystylea}ならばb{\displaystyleb}である」から結論b{\displaystyleb}を導く。
为了区分反事实条件和实质条件，定义了符号>{\displaystyle>}，所以A>B{\displaystyleA>B}意味着“如果A{\displaystyleA}，则B{\displaystyleB}”。