論理学 2023年1月4日 3引数論理演算の括弧外しと優先順位変更全パターン \[ P\lor\left(Q\land R\right)\Leftrightarrow\left(P\lor Q\right)\land\left(P\lor R\right) \]
論理学 2022年12月31日 3引数論理演算を別表記 \[ P\lor\left(Q\lor R\right)\Leftrightarrow P\leftarrow\left(Q\downarrow R\right) \]
論理学 2022年12月18日 優先順位を変更したものとの包含関係・同値関係 \[ P\lor\left(Q\land R\right)\Leftarrow\left(P\lor Q\right)\land R \]
論理学 2022年12月11日 LK推論規則での包含関係 \[ \left(P\rightarrow Q\right)\land\left(R\rightarrow S\right)\Rightarrow\left(P\lor R\right)\rightarrow\left(Q\land S\right) \]
論理学 2022年12月8日 論理演算子の移項 \[ \left(P\land R\right)\rightarrow Q\Leftrightarrow P\rightarrow\left(Q\lor\lnot R\right) \]
論理学 2022年11月29日 否定同値の否定同値は同値の同値 \[ P\nleftrightarrow Q\nleftrightarrow R\Leftrightarrow P\leftrightarrow Q\leftrightarrow R \]
論理学 2022年11月22日 分配法則一覧 \[ P\lor\left(Q\land R\right)\Leftrightarrow\left(P\lor Q\right)\land\left(P\lor R\right) \]