Эквивалентность
– сложное суждение, которое принимает логическое значение истины тогда и только тогда, когда входящие в него суждения обладают одинаковым логически значением, т. е. одновременно либо истинны, либо ложны.
Логический союз эквивалентности выражается грамматическими союзами «тогда и только тогда, когда», «если и только если». Например, «Если и только если треугольник равносторонний, то он и равноугольный».
Символически эквивалентность записывается А«Вили АºВ («если и только если А, то В»).
Логическое значение эквивалентности соответствует таблице истинности:
|
А |
В |
А « В |
|
И |
И |
И |
|
И |
Л |
Л |
|
Л |
И |
Л |
|
Л |
Л |
И |
Эквивалентное суждение со связанными по содержанию членами выражает одновременно условие достаточное и необходимое: (А→ В)˄(В→ А).
Равносильность выражений (А«В) и (А→ В)˄(В→А) может быть доказана с помощью таблицы истинности.
Смотрите также
Русская философия первой половины XX столетия
Богдан Александрович Кистяковский
(1868-1920) родился в семье профессора уголовного права Киевского университета. Получил юридическое образование в Германии. Преподавал в Московском и Киевском универ ...