матлогика

[АняС]

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

[Stilet]

Ой ужос какой...

[АняС]

может поможете?раз знаете

[Stilet]

Вот как раз я и не знаю. Потому и ужаснулся тому, что студентам нонче дают...

[АняС]

понятно((
извините, что навязываюсь.А вот это не знаете:
1) Записать, введя необходимые предикаты, в виде формулы логики предикатов следующие рассуждения:
а) Если всякий разумный философ – циник, и только женщины являются разумными философами, то тогда, если существуют разумные философы, некоторые из женщин – циники.
б) Все политики – лицедеи. Некоторые лицедеи – лицемеры. Значит, некоторые политики – лицемеры.
в) Глупец был бы способен на это. Я на это не способен. Значит я не глупец.

[Stilet]

Оу! Вы Пролог что ли изучаете? Увы у меня с ним дружбы не получилось...