Форум студентов МТИ

Форум студентов МТИ (http://mti.prioz.ru/index.php)
-   Тесты (http://mti.prioz.ru/forumdisplay.php?f=3)
-   -   матлогика (http://mti.prioz.ru/showthread.php?t=1811)

НатальяС 02.12.2015 17:57

матлогика
 
помогите пожалуйста сделать:Доказать, что для любой формулы существует эквивалентная ей формула с тесными отрицаниями, т.е. формула, в которой нет символа → и отрицания относятся только к пропозициональным переменным.


Текущее время: 19:55. Часовой пояс GMT +4.

Powered by vBulletin® Version 3.8.12 by vBS
Copyright ©2000 - 2024, vBulletin Solutions, Inc. Перевод: zCarot