逻辑判断

三段论

• 韦恩图
• 有些推有些，不是推不是；两有些推不出，两不是推不出。

假言

\({A}\to{B}\Leftrightarrow\lnot{A}\lor{B}\Leftrightarrow\lnot{B}\to\lnot{A}\)

\({A}\land{B}\to{C}\Leftrightarrow\lnot{C}\to\lnot{A}\lor\lnot{B}\)

\(\lnot{C}\land{B}\to\lnot{A}\)

\(\lnot({A}\to{B})=\lnot(\lnot{A}\lor{B})={A}\land\lnot{B}\)