Добавил:
neus500
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Logika_3_lektsia-1.pptx
3. Сложные суждения: понятие, структура, виды.
Введем следующие обозначения:
СОЮЗ |
НАЗВАНИЕ |
ОБОЗНАЧЕНИЕ |
… и … |
Конъюнкция |
^ |
|
(соединительный |
|
|
союз) |
ν |
…или… |
Дизъюнкция |
|
|
(разделительный |
|
|
союз) |
|
…либо .. либо.. |
Строгая дизъюнкция |
ν |
|
(строго |
|
|
разделительный союз) |
_ |
если … то … |
Импликация (условный |
|
|
союз) |
<-> |
тогда и только тогда, |
Эквиваленция |
|
когда … |
(равносильность) |
‾ |
неверно, что … |
Отрицание |
3. Сложные суждения: понятие, структура, виды.
При конструировании сложных суждений главное – определить, как меняется значение истинности сложного суждения в зависимости от значений истинности входящих в него простых суждений.
Для этого строят т.н. таблицы истинности (семантические таблицы)
3. Сложные суждения: понятие, структура, виды.
Разделительное суждение (дизъюнкция)
3. Сложные суждения: понятие, структура, виды.
Строго разделительное суждение (строгая дизъюнкция)
3. Сложные суждения: понятие, структура, виды.
Условное суждение (импликация)
3. Сложные суждения: понятие, структура, виды.
Суждение равносильности (эквиваленция)
3. Сложные суждения: понятие, структура, виды.
Суждение – отрицание
3. Сложные суждения: понятие, структура, виды.
3. Сложные суждения: понятие, структура, виды.
