Ваљаност (логика) — разлика између измена
Садржај обрисан Садржај додат
мНема описа измене |
|||
Ред 117:
\begin{alignat}{1}
\top & ( \forall x (x<0 \Rightarrow x=2) \land s=2 ) \Rightarrow x<0\\
\top & ( (\bot^{1} \Rightarrow \bot^{2}) \land \top^{3} ) \Rightarrow \bot^{1}\\
\top & ( \top \land \top ) \Rightarrow \bot\\
\top & \top \Rightarrow \bot\\
Ред 123:
\end{alignat}
</math>
<small>
<sup>1</sup> јер су скуп ненегативних бројева постављен као област дефинисаности<br>
<sup>2</sup> јер није сваки природан број једнак 2<br>
<sup>3</sup> јер је тако по дефиницији друге премисе
</small>
што нас такође води до контрадикције, што значи да аргумент заиста јесте неваљан.
| |||