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