Математическая логика и теория алгоритмов. Контрольная работа № 1

ID: 67958
Дата закачки: 04 Мая 2012
Продавец: a-cool-a (Напишите, если есть вопросы)
Посмотреть другие работы этого продавца

Форматы файлов: Microsoft Word
Сдано в учебном заведении: ТУСУР

Описание:
Первое контрольное задание посвящено решению задач на использование логического языка, логики высказываний и опера-ций с множествами. Задание состоит из 10 задач: 4 задачи на пере-вод с естественного на формальный язык (и обратно), 3 задачи на логику высказываний, 3 задачи на операции с множествами.
1. Перевести на формальный язык (обязательно указываете универсум):
«Нельзя быть одновременно великаном и лилипутом».
2. Перевести на формальный язык (обязательно указываете универсум):
«Точки A, B, C являются вершинами равнобедренного треугольника».
3. Перевести с формального языка на человеческий:
4. Перевести на формальный язык (обязательно указываете универсум):
«Ни один парламентерский акт не шутка».
5. Формула – тавтология, противоречие или не то и не другое?
Используйте метод доказательства от противного.
6. Что можно сказать об истинностном значении?
7. Является ли формула тавтологией?
8. Проверить тождество

Размер файла: 66 Кбайт
Фаил: