Своеобразие русской архитектуры: Основной материал – дерево – быстрота постройки, но недолговечность и необходимость деления...
Автоматическое растормаживание колес: Тормозные устройства колес предназначены для уменьшения длины пробега и улучшения маневрирования ВС при...
Топ:
Методика измерений сопротивления растеканию тока анодного заземления: Анодный заземлитель (анод) – проводник, погруженный в электролитическую среду (грунт, раствор электролита) и подключенный к положительному...
История развития методов оптимизации: теорема Куна-Таккера, метод Лагранжа, роль выпуклости в оптимизации...
Теоретическая значимость работы: Описание теоретической значимости (ценности) результатов исследования должно присутствовать во введении...
Интересное:
Средства для ингаляционного наркоза: Наркоз наступает в результате вдыхания (ингаляции) средств, которое осуществляют или с помощью маски...
Искусственное повышение поверхности территории: Варианты искусственного повышения поверхности территории необходимо выбирать на основе анализа следующих характеристик защищаемой территории...
Как мы говорим и как мы слушаем: общение можно сравнить с огромным зонтиком, под которым скрыто все...
Дисциплины:
2018-01-28 | 575 |
5.00
из
|
Заказать работу |
|
|
1). Все моряки боятся пиратов.
2). Некоторые маленькие девочки бояться врачей.
3). Кто-то приглашает кого-то, а тот его не приглашает.
4). Некоторые девушки учатся в университете, а некоторые – в колледже.
5). Все делегаты съезда – партийные и профсоюзные лидеры.
6). Все студенты уважают друг друга.
7)*. Все короли воевали друг с другом.
2. Возьмем некоторую реализацию <U, I>, где U - множество натуральных чисел, а I интерпретирующая функция: I(a) = 1, I(b) = 2, I(с) =3, I(f) = операции возведения в квадрат, I(h) = операции умножения, I(P) = множество нечетных чисел, I(Q) = множество пар чисел, первое из которых больше второго. Определите значения в данной реализации следующих термов и формул:
1) Р(h(а, b)),
2) Р(c) v P(f(c)),
3) x yQ(c,h(х,у)),
4) x(Р(х) & Q(x, f(x))),
5) x(P(x) P(h(x, а))).
3*. Продемонстрируйте выполнимость следующей формулы, подобрав реализацию, в которой она принимает значение «истина»:
х(Р(х, а) & Р(х, b)).
Продемонстрируйте опровержимость этой же формулы, подобрав реализацию, в которой она принимает значение «ложь».
4. Подберите конкретную реализацию, демонстрирующую, что следующие формулы совместимы по истинности:
xP(x, а) и хР(а, х).
5. Подберите конкретную реализацию, демонстрирующую, что следующие формулы совместимы по ложности:
а) xP(x, а) и xP(x, а).
6*. Продемонстрируйте некорректность следующих умозаключений, для чего выявите их логические формы и подберите соответствующие контрреализации (контрпримеры):
а) Каждый человек является экстравертом или интровертом. Следовательно, не существует людей, которые одновременно являлись бы экстравертами и интровертами.
б) Нельзя сказать, что все политики справедливы. Нельзя сказать, что все политики умны. Значит, про какого-то политика можно сказать, что он не справедлив и не умен.
|
7. Используя метод аналитических таблиц (деревьев), покажите общезначимость формул.
1)* хР(х) Р(а)
2)* Р(а) хР(х)
4)** ∃x∀yR(x,y) ⊃ ∃y∀xR(x,y)
5)** ∃x(∃yP(y) ⊃ P(x))
8**. Построить доказательства в натуральном исчислении предикатов первого порядка.
1) x (P(x) y P(y))
2) x P(x) x P(x)
3) x P(x) x P(x)
4) x (Q(y) R(x,y)) (Q(y) x R(x,y))
ЧАСТЬ 4
(вопросы 20 -24)
Определите логическую форму высказываний.
Многие люди любят мороженое.
Молодежь всегда полна надежд.
Только с иностранцами плохо обходятся.
Допускаются только бизнесмены.
Если высказывание «большинство мужчин умирает молодыми» истинно, что можно заключить относительно следующих суждений? Докажите свою позицию с помощью круговых схем, назовите тип отношения (логический квадрат).
1). Некоторые мужчины не умирают молодыми.
2). Некоторые мужчины умирают молодыми.
3). Все мужчины умирают молодыми.
4). Все мужчины умирают старыми.
5). Большинство из тех, кто умирает молодыми, являются мужчинами.
6). Некоторые из тех, кто умирает старыми, не являются мужчинами.
7). Немногие создания, не являющиеся мужчинами, умирают старыми.
|
|
Индивидуальные очистные сооружения: К классу индивидуальных очистных сооружений относят сооружения, пропускная способность которых...
Таксономические единицы (категории) растений: Каждая система классификации состоит из определённых соподчиненных друг другу...
Эмиссия газов от очистных сооружений канализации: В последние годы внимание мирового сообщества сосредоточено на экологических проблемах...
Организация стока поверхностных вод: Наибольшее количество влаги на земном шаре испаряется с поверхности морей и океанов (88‰)...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!