Автор работы: Пользователь скрыл имя, 13 Ноября 2013 в 17:55, контрольная работа
Описание всякого исчисления включает в себя описание символов этого исчисления (алфавита); формул, являющихся конечными конфигурациями символов и определение выводимых формул.
Алфавит исчисления высказываний состоит из символов трех категорий:
1) Символы первой категории: x, y, z,…,x1, x2,…, которые называются переменными высказывания;
2) Символы второй категории: , которые называются логическими связками. – дизъюнкция (логическое сложение), – конъюнкция (логическое умножение), → – импликация (логическое следование), ¯ – отрицание;
3) Символы третьей категории: скобки.
Введение.......................................................................................................................3
1. Пропозиционная логика..........................................................................................4
2. Общезначимость исчисления высказываний 5
3. Пропорциональные связки 6
4. Язык логики высказываний 8
Заключение 11
Задание 1 12
Задание 2 13
Список использованной литературы 14
L \/ M®(S ¬® G /\ ùR).
Задание 2
Переведите логическую
формулу в осмысленное
Решение:
Существуют следующие символы для связок:
~ для «не»
для «и»
V для «или»
→ для «если …, то …»
↔ для «тогда и только тогда, когда»
Так, если P и Q, - предложения, то
~ P, P Q, P V Q, P → Q, P ↔ Q
будут, соответственно, отрицанием предложения P, конъюнкцией, дизъюнкцией, импликацией, эквиваленцией предложений P и Q.
Поэтому предлагаем следующее осмысленное высказывание:
«Если розы или пионы не зацветут этой весной, то гладиолусы тоже не взойдут».