トートロジー(古典的命題論理)
例
$ p_1 \to p_2, \lnot p_2 \vDash \lnot p1
$ p1 \to p2 \vDash \lnot p_2 \to \lnot p_1
$ \vDash (p_1 \to p_2 \land \lnot p_2) \to \lnot p_1
一方この論理式$ (p_1 \to p_2 \land \lnot p_2) \to \lnot p_1はトートロジー(古典的命題論理)であるとも言える 論証「$ A_1, \cdots A_n \implies B」に対応する論理式$ (A_1 \land \cdots \land A_n) \to B このとき論理式がトートロジーである($ \vDash (A_1 \land \cdots \land A_n) \to B)ことを示しても論証が正しいことを示すことが出来る