Учебная работа № 341241. Тема: Сложное суждение. Логические связки (отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция). Установление истинности или ложности сложного суждения. Отношения между сложными суждениями
[Тип работы: Контрольная
Предмет: Логика
Страниц: 18
Стр.
ВВЕДЕНИЕ 3
1. Сложное суждение 4
2. Логические связки 7
3. Установление истинности или ложности сложного суждения 10
4. Отношения между сложными суждениями 15
ЗАКЛЮЧЕНИЕ 17
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ 18
Учебная работа № 341241. Тема: Сложное суждение. Логические связки (отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция). Установление истинности или ложности сложного суждения. Отношения между сложными суждениями
Выдержка из похожей работы
Сложные суждения и условия их истинности
…….щая собой структуру
новой мыслительной конструкции,
логические ее характеристики и выступая
ее главной структурной закономерностью.
Логика
выделяет четыре логических союза:
соединительный союз (конъюнкция), в
языке выразимый грамматическими союзами
и частицами «и», «а», «но»,
«да» и т.п.; разделительный союз
(дизъюнкция) — «или», «либо» и
т.п.; условный союз (импликация) — «если..,
то» и союз эквивалентности,
тождественности (эквиваленция) — «если
и только если.., то», «тогда и только
тогда, когда».
Два
или более простых суждения могут
образовывать сложное с помощью
соединительного союза, который
символически изображается знаком «/».
Например: «Сегодня воскресенье, и мы
едем за город». Это конъюнктивное
суждение можно записать в виде формулы:
(S есть Р) и (S1 есть р1). Если же простые
суждения, которые нам хорошо уже известны,
обозначать для простоты выражения
отдельными символами, то эта формула
примет сокращенный вид (В и С), где символ
«В» соответствует простому суждению
«S есть Р», а символ «С» — другому
простому суждению «S1 есть Р1». А
если мы и логический союз заменим на
символическое его изображение, то
получим совсем короткую и удобную для
использования формулу: «В/С», которая
выражает лишь структурные особенности
построения данной формы мысли (что
логику-то и интересует) и не отвлекает
нас своим содержанием. По формуле легко
установить количество составных
элементов сложного суждения — левый и
правый член конъюнкции, и сам логический
союз. Остается выявить лишь закономерности,
определяемые главным элементом данной
конструкции — логическим союзом.
Поскольку
простое суждение в такой виде имеет для
нас значение лишь своей главной
особенностью — простое суждение по
природе своей может быть либо истинным,
либо ложным, то основные зависимости
сложного конъюнктивного суждения будут
определяться его логическим союзом.
Эти зависимости легко обнаруживаются
в разработанных логикой так называемых
«таблицах истинности» для
логических союзов. Для конъюнкции
таблица истинности такова:
В
С В / С
и
и и
л
и л
и
л л
л
л л
Таким
образом, соединительный логический
союз (конъюнкция) формирует сложное
суждение, истинное только в одном случае
— когда все входящие в него простые
суждения являются истинными. И это
является законом для данного логического
союза, т.е. сколько бы ни входило в это
сложное суждение
…