Реферат: Сложные суждения
Имеется
два вида дизъюнктивных суждений: строгая (исключающая) дизъюнкция и нестрогая
(неисключающая) дизъюнкция.
Строгая
(исключающая) дизъюнкция – сложное суждение, принимающее
логическое значение истины тогда и только тогда, когда истинно только одно из
входящих в него суждений или «которое ложно тогда, когда оба высказывания
ложны». Например, «Данное число либо кратно, либо не кратно пяти».
Логический
союз дизъюнкция выражается посредством грамматического союза «либо…либо».
Символически
записывается А˅В.
Логическое
значение строгой дизъюнкции соответствует таблице истинности:
А
|
В
|
А˅В
|
И |
И |
Л |
И |
Л |
И |
Л |
И |
И |
Л |
Л |
Л |
Нестрогая
(неисключающая) дизъюнкция – сложное суждение, принимающее
логическое значение истины тогда и только тогда,когда истинным является, по
крайней мере, одно (но может быть ибольше) из простых суждений, входящих в
сложное. Например, «Писатели могут быть или поэтами, или прозаиками (или тем
и другимодновременно)».
Нестрогая
дизъюнкция выражается посредством грамматического союза «или…или» в
разделительно-соединительном значении.
Символически
записываетсяА˅В. Нестрогой
дизъюнкции соответствует таблица истинности:
А
|
В
|
А˅В
|
И |
И |
И |
И |
Л |
И |
Л |
И |
И |
Л |
Л |
Л |
Импликативные
(условные) суждения
Импликация
–
сложное суждение, принимающее логическое значение ложности тогда и только
тогда, когда предшествующее суждение (антецедент) истинно, а последующее
(консеквент) ложно.
В
естественном языке импликация выражается союзом «если..., то» в смысле«наверно,
что А и не В». Например, «Если число делится на 9, то оноделится и на 3».
Символически
импликация записывается А→ В (если А, то
В).
Логическое
значение представлено в таблице истинности:
А
|
В
|
А→ В
|
И |
И |
И |
И |
Л |
Л |
Л |
И |
И |
Л |
Л |
И |
Анализ
свойств импликации показывает, что истинность антецедента является достаточным
условием истинности консеквентна, но ненаоборот. Достаточным для некоторого
явления считается такое условие, наличие которого непременно вызывает это
явление. Например, «быть березой» достаточное условие, чтобы включить ее
в класс деревьев, так как все березы – деревья и ни одна не береза не является
деревом.
Страницы: 1, 2, 3, 4 |