Язык логики высказываний
Контрольная работа, 13 Ноября 2013, автор: пользователь скрыл имя
Описание работы
Описание всякого исчисления включает в себя описание символов этого исчисления (алфавита); формул, являющихся конечными конфигурациями символов и определение выводимых формул.
Алфавит исчисления высказываний состоит из символов трех категорий:
1) Символы первой категории: x, y, z,…,x1, x2,…, которые называются переменными высказывания;
2) Символы второй категории: , которые называются логическими связками. – дизъюнкция (логическое сложение), – конъюнкция (логическое умножение), → – импликация (логическое следование), ¯ – отрицание;
3) Символы третьей категории: скобки.
Содержание работы
Введение.......................................................................................................................3
1. Пропозиционная логика..........................................................................................4
2. Общезначимость исчисления высказываний 5
3. Пропорциональные связки 6
4. Язык логики высказываний 8
Заключение 11
Задание 1 12
Задание 2 13
Список использованной литературы 14
Файлы: 1 файл
Вар 8. Логика.doc
— 181.50 Кб (Скачать файл)L \/ M®(S ¬® G /\ ùR).
Задание 2
Переведите логическую
формулу в осмысленное
Решение:
Существуют следующие символы для связок:
~ для «не»
для «и»
V для «или»
→ для «если …, то …»
↔ для «тогда и только тогда, когда»
Так, если P и Q, - предложения, то
~ P, P Q, P V Q, P → Q, P ↔ Q
будут, соответственно, отрицанием предложения P, конъюнкцией, дизъюнкцией, импликацией, эквиваленцией предложений P и Q.
Поэтому предлагаем следующее осмысленное высказывание:
«Если розы или пионы не зацветут этой весной, то гладиолусы тоже не взойдут».
Список использованной литературы
- Войшвилло Е.К., Дегтярев М.Г. Логика: Учебник для вузов. – М.: ВЛАДОС - ПРЕСС, 2008. – 528 с.
- Гетманова А. Д.Учебник по логике. – М.: ВЛАДОС – ПРЕСС, 2006. – 303 с.
- Горский Г.П. Краткий словарь по логике. – М.: АСТ, 2011. – 208 с.
- Ивин А.А. Логика: Учебник для вузов. – М.: ФАИР-ПРЕСС, 2009. – 320 с.
- Кириллов В.И. , Старченко А.А. Логика: Учебник для юридических вузов. – М.: Юристъ, 2011. – 256 с.