Двойное оплодотворение у цветковых растений: Оплодотворение - это процесс слияния мужской и женской половых клеток с образованием зиготы...
Эмиссия газов от очистных сооружений канализации: В последние годы внимание мирового сообщества сосредоточено на экологических проблемах...
Топ:
Устройство и оснащение процедурного кабинета: Решающая роль в обеспечении правильного лечения пациентов отводится процедурной медсестре...
Выпускная квалификационная работа: Основная часть ВКР, как правило, состоит из двух-трех глав, каждая из которых, в свою очередь...
Комплексной системы оценки состояния охраны труда на производственном объекте (КСОТ-П): Цели и задачи Комплексной системы оценки состояния охраны труда и определению факторов рисков по охране труда...
Интересное:
Влияние предпринимательской среды на эффективное функционирование предприятия: Предпринимательская среда – это совокупность внешних и внутренних факторов, оказывающих влияние на функционирование фирмы...
Мероприятия для защиты от морозного пучения грунтов: Инженерная защита от морозного (криогенного) пучения грунтов необходима для легких малоэтажных зданий и других сооружений...
Наиболее распространенные виды рака: Раковая опухоль — это самостоятельное новообразование, которое может возникнуть и от повышенного давления...
Дисциплины:
2018-01-28 | 569 |
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). Немногие создания, не являющиеся мужчинами, умирают старыми.
|
|
Общие условия выбора системы дренажа: Система дренажа выбирается в зависимости от характера защищаемого...
Таксономические единицы (категории) растений: Каждая система классификации состоит из определённых соподчиненных друг другу...
Механическое удерживание земляных масс: Механическое удерживание земляных масс на склоне обеспечивают контрфорсными сооружениями различных конструкций...
Кормораздатчик мобильный электрифицированный: схема и процесс работы устройства...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!