Аксиомы Исчисления Высказываний
Аксиомы Исчисления Высказываний
Как доказать, что в ИВ из закона снятия двойного отрицания ( не неА--> A ) выводим закон исключенного третьего ( A или неА ) ? Обратное-то доказать не сложно, a от этого вот мозг в трубочку сворачивается..
Последний раз редактировалось mum 30 ноя 2019, 08:08, всего редактировалось 1 раз.
Причина: test
Причина: test
Аксиомы Исчисления Высказываний
mum писал(а):Source of the post
Как доказать, что в ИВ из закона снятия двойного отрицания ( не неА--> A ) выводим закон исключенного третьего ( A или неА ) ? Обратное-то доказать не сложно, a от этого вот мозг в трубочку сворачивается..
Последний раз редактировалось Ian 30 ноя 2019, 08:08, всего редактировалось 1 раз.
Причина: test
Причина: test
Вернуться в «Дискретная математика»
Кто сейчас на форуме
Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 23 гостей