yourdomain.com

Как доказать, что в ИВ из закона снятия двойного отрицания ( не неА--> A ) выводим закон исключенного третьего ( A или неА ) ? Обратное-то доказать не сложно, a от этого вот мозг в трубочку сворачивается..

mum писал(а):Source of the post
Как доказать, что в ИВ из закона снятия двойного отрицания ( не неА--> A ) выводим закон исключенного третьего ( A или неА ) ? Обратное-то доказать не сложно, a от этого вот мозг в трубочку сворачивается..

$\vdash \bar{\bar{\alpha}} \to{\alpha}$
$\vdash \bar{\bar{\bar{\alpha}} & {\bar{\alpha}}$
$\vdash \bar{\bar{\bar{\alpha}}}\vee{\bar{\alpha}$
$\vdash \bar{\alpha} \vee \alpha$

yourdomain.com

Аксиомы Исчисления Высказываний

Аксиомы Исчисления Высказываний

Аксиомы Исчисления Высказываний