形式表達式P→Q邏輯意義P是Q的壹個充分條件推理規則:P→Q，在no之後，比在no之前:non-Q→ non-PP→Q，Q→R，P→R可以得到。
如果P，那麽Q |所有的P都是Q |為了P，Q | P需要Q | P → Q | P是Q |的充分條件如果妳願意，妳壹定願意:P → Q | No比以前好:non-Q→ non-P → Q，Q→R可以得到P → R | non-P和Q為前提。
生產
布爾用數學方法研究邏輯問題，成功地建立了邏輯演算。他用等式來表達判斷，把推理看作等式的變換。這種轉化的有效性不取決於人們對符號的解讀，而只取決於符號的組合規律。這種邏輯理論通常被稱為布爾代數。20世紀30年代，邏輯代數被應用於電路系統。隨後，由於電子技術和計算機的發展，出現了各種復雜的大系統，它們的變換規律也遵循了布爾揭示的規律。
百度百科-邏輯運算