|
|
Регистрация Восстановить пароль |
Повторная активизация e-mail |
Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
|
Опции темы | Поиск в этой теме |
02.12.2015, 19:17 | #1 |
Новичок
Джуниор
Регистрация: 02.12.2015
Сообщений: 3
|
матлогика
помогите сделать,не могу(
Доказать, что для любой формулы существует эквивалентная ей формула с тесными отрицаниями, т.е. формула, в которой нет символа → и отрицания относятся только к пропозициональным переменным. |
02.12.2015, 19:46 | #2 |
Белик Виталий :)
Старожил
Регистрация: 23.07.2007
Сообщений: 57,097
|
Ой ужос какой...
I'm learning to live...
|
02.12.2015, 20:15 | #3 |
Новичок
Джуниор
Регистрация: 02.12.2015
Сообщений: 3
|
может поможете?раз знаете
|
02.12.2015, 20:23 | #4 |
Белик Виталий :)
Старожил
Регистрация: 23.07.2007
Сообщений: 57,097
|
Вот как раз я и не знаю. Потому и ужаснулся тому, что студентам нонче дают...
I'm learning to live...
|
02.12.2015, 20:33 | #5 |
Новичок
Джуниор
Регистрация: 02.12.2015
Сообщений: 3
|
понятно((
извините, что навязываюсь.А вот это не знаете: 1) Записать, введя необходимые предикаты, в виде формулы логики предикатов следующие рассуждения: а) Если всякий разумный философ – циник, и только женщины являются разумными философами, то тогда, если существуют разумные философы, некоторые из женщин – циники. б) Все политики – лицедеи. Некоторые лицедеи – лицемеры. Значит, некоторые политики – лицемеры. в) Глупец был бы способен на это. Я на это не способен. Значит я не глупец. |
02.12.2015, 20:36 | #6 |
Белик Виталий :)
Старожил
Регистрация: 23.07.2007
Сообщений: 57,097
|
Оу! Вы Пролог что ли изучаете? Увы у меня с ним дружбы не получилось...
I'm learning to live...
|