否定同値の否定同値は同値の同値
否定同値の否定同値は同値の同値
\(P,Q,R\)は命題変数とする。
\[ P\nleftrightarrow Q\nleftrightarrow R\Leftrightarrow P\leftrightarrow Q\leftrightarrow R \]
\(P,Q,R\)は命題変数とする。
\[ P\nleftrightarrow Q\nleftrightarrow R\Leftrightarrow P\leftrightarrow Q\leftrightarrow R \]
\begin{align*}
P\nleftrightarrow Q\nleftrightarrow R & \Leftrightarrow P\nleftrightarrow\lnot\left(Q\leftrightarrow R\right)\\
& \Leftrightarrow P\leftrightarrow\left(Q\leftrightarrow R\right)\\
& \Leftrightarrow P\leftrightarrow Q\leftrightarrow R
\end{align*}
ページ情報
| タイトル | 否定同値の否定同値は同値の同値 |
| URL | https://www.nomuramath.com/t0jakxlm/ |
| SNSボタン |
論理演算子の移項
\[
\left(P\land R\right)\rightarrow Q\Leftrightarrow P\rightarrow\left(Q\lor\lnot R\right)
\]
量化記号(全称命題・存在命題)の定義
\[
\forall x\in X,P\left(x\right)\Leftrightarrow\forall x,x\in X\rightarrow P\left(x\right)
\]
LK推論規則での包含関係
\[
\left(P\rightarrow Q\right)\land\left(R\rightarrow S\right)\Rightarrow\left(P\lor R\right)\rightarrow\left(Q\land S\right)
\]
存在命題(論理和)と全称命題(論理積)の順序変更
\[
\exists x\in X,\forall y\in Y,P\left(x,y\right)\Rightarrow\forall y\in Y,\exists x\in X,P\left(x,y\right)
\]