\input amstex
\input cyracc.def
\font\tencyr=wncyr10
\def\cyr#1{{\tencyr\cyracc#1}}
\def\teo{\vdash}
\def\nije{\neg}
\def\vp{\varphi}
\def\sledi{\rightarrow}

\cyr{{\bf Primer 5.} [Dokazati da ]Za proizvoljne }$\vp, \psi\in F$,\cyr{ vazhi }$\teo\nije\vp\sledi(\vp\sledi\psi)$.

$$\align
\{\nije\vp, \vp\}&\teo\ \nije\vp\sledi(\nije\psi\sledi\nije\vp)\cr
\{\nije\vp, \vp\}&\teo\ (\nije\psi\sledi\nije\vp)\sledi(\vp\sledi\psi)\cr
\{\nije\vp, \vp\}&\teo\ (\vp\sledi\psi)\cr
\{\nije\vp, \vp\}&\teo\ \psi\cr
\{\nije\vp\}&\teo\ (\vp\sledi\psi)\cr
&\teo\ \nije\vp\sledi(\vp\sledi\psi)
\endalign$$

\cyr{Klasichni logichari su ovaj princip nazivali }{\it ex falso quodlibet.}