否定同値の否定同値は同値の同値

否定同値の否定同値は同値の同値
\(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ボタン