Сложные суждения
Реферат, 17 Января 2011, автор: пользователь скрыл имя
Описание
Логическая структура сложных суждений также отличается от структуры простых суждений. Основными структурообразующими элементами здесь являются уже не понятия, а простые суждения, составляющие сложное суждение. При этом связь между ними осуществляется не с помощью связок «есть», «не есть» и т. п., а посредством логических союзов «и», «или», «либо», «если [...], то» и др. Юридическая практика особенно богата такого рода суждениями.
Работа состоит из 1 файл
логика.doc
— 189.50 Кб (Скачать документ)затем по общему методу находить противоречащее суждение. Например: “Если я буду иметь свободное время (а), то буду вязать (b) или посмотрю телевизор (с)”. Формула этого сложного суждения:
Противоречащее суждение будет:
Оно читается так: “У меня будет свободное время, но я не буду вязать и не буду смотреть телевизор”.
Исчисление высказываний
I. Символы исчисления высказываний состоят из знаков трех категорий:
1. а, b, с,d, е,f... и те же буквы с индексами а1 ,а2 ,... Эти символы называются переменными высказываниями, или пропозициональными переменными. С помощью этих символов записываются повествовательные предложения, выражающие суждения (высказывания).
2. Символы,
обозначающие логические
3. Скобки: ( ).
Иных символов, кроме указанных, исчисление высказываний не имеет.
II. Определение формулы (или правильно построенной формулы - ППФ).
1. Переменное высказывание есть формула (а, b, с ...).
2. Если А и В есть ППФ, то
Ничто иное не является формулой (ППФ).
Так, не являются формулами: (а ^ b ; а-b; ^ а; а→b; а ^ b ; а
Существуют правила опускания скобок. При этом исходят из того, что связка связывает сильнее, чем все остальные; связка ^ сильнее, чем →. В силу этих правил формулу (а ^ b)
Однако не всякая формула может быть записана без употребления скобок. Например, в формулах а → (b → с), а ^ (b→с) исключение скобок невозможно.
Для моделирования
с помощью ЭВМ текстов
← | Содержание | →