ТОР 5 статей:
Методические подходы к анализу финансового состояния предприятия
Проблема периодизации русской литературы ХХ века. Краткая характеристика второй половины ХХ века
Характеристика шлифовальных кругов и ее маркировка
Служебные части речи. Предлог. Союз. Частицы
КАТЕГОРИИ:
- Археология
- Архитектура
- Астрономия
- Аудит
- Биология
- Ботаника
- Бухгалтерский учёт
- Войное дело
- Генетика
- География
- Геология
- Дизайн
- Искусство
- История
- Кино
- Кулинария
- Культура
- Литература
- Математика
- Медицина
- Металлургия
- Мифология
- Музыка
- Психология
- Религия
- Спорт
- Строительство
- Техника
- Транспорт
- Туризм
- Усадьба
- Физика
- Фотография
- Химия
- Экология
- Электричество
- Электроника
- Энергетика
Задания для работы на занятии
1. Определить, является ли данная последовательность формулой:
1.1 
| 1.6 
|
1.2 
| 1.7 
|
1.3 
| 1.8 
|
1.4 
| 1.9 
|
1.5 
| 1.10 
|
2. Построить таблицы истинности для формул:
2.1 
2.2 
2.3 
2.4 
2.5 
2.6 
2.7 
2.8 
2.9 
2.10 
3. Доказать, что каждая из указанных формул является тавтологией:
3.1 
3.2 
3.3 
3.4 
3.5 
3.6 
3.7 
3.8 
3.9 
3.10 
1. Доказать эквивалентности
4.1 
4.2 
4.3 
| 4.7 
|
4.4 
| 4.8 
|
4.5 
| 4.9 
|
4.6 
| 4.10 
|
5. Для какого из указанных значений числа Х истинно выражение:
5.1 
| 1) 1 | 3) 3 |
| 2) 2 | 4) 4 |
5.2 
| 1) 1 | 3) 3 |
| 2) 2 | 4) 4 |
5.3 
| 1) 1 | 3) 3 |
| 2) 2 | 4) 4 |
5.4 
| 1) 5 | 3) 3 |
| 2) 6 | 4) 4 |
5.5 
| 1) 7 | 3) 9 |
| 2) 8 | 4) 10 |
5.6 
| 1) 7 | 3) 9 |
| 2) 4 | 4) 2 |
5.7 
| 1) 3 | 3) 7 |
| 2) 4 | 4) 2 |
5.8 
| 1) 5 | 3) 11 |
| 2) 9 | 4) 4 |
5.9 
| 1) 8 | 3) 10 |
| 2) 6 | 4) 4 |
5.10 
| 1) 0 | 3) 7 |
| 2) 2 | 4) 4 |
Контрольные вопросы
1. Что изучает математическая логика?
2.Как определить, что предложение является высказыванием?
3. Каким союзам русского языка соответствуют операции отрицания, конъюнкции, дизъюнкции, импликации, эквиваленции?
4. Какие обозначения соответствуют союзам русского языка: … тогда и
только тогда, когда …; и; или; если …, то…; не?
5. Какие значения истинности принимают операции отрицания, конъюнкции, дизъюнкции, импликации, эквиваленции в зависимости от значений переменных?
6. Как формулируется алгоритм перевода с естественного языка на формальный?
7. Каким образом осуществить перевод с формального языка на естественный?
8. Как доказать логический закон?
9. Какого типа задачи и каким образом решаются с помощью таблиц истинности?
Не нашли, что искали? Воспользуйтесь поиском: