106 Вопрос Суждения эквивалентности
Эквивалентность – сложное суждение, которое принимает логическое значение истины тогда и только тогда, когда входящие в него суждения обладают одинаковым логически значением, т. е. одновременно либо истинны, либо ложны.
Логический союз эквивалентности выражается грамматическими союзами «тогда и только тогда, когда», «если и только если». Например, «Если и только если треугольник равносторонний, то он и равноугольный».
Символически эквивалентность записывается А«Вили АєВ («если и только если А, то В»).
Логическое значение эквивалентности соответствует таблице истинности:
А В А«В
И И И
И Л Л
Л И Л
Л Л И
Эквивалентное суждение со связанными по содержанию членами выражает одновременно условие достаточное и необходимое: (А→ В)˄(В→ А).
Равносильность выражений (А«В) и (А→ В)˄(В→А) может быть доказана с помощью таблицы истинности.
107 Вопрос Контрарный
(от лат. contrarius) понятия, противоположные друг другу не формально (см. Контрадиция), а по содержанию, т.е. в определенной вещественной области, напр., белое и зеленое (как цвета) контрарны между собой, белое и небелое (формально) контрадикторны; или, говоря более строго, контрарны полярные по отношению друг к другу, противоположные конечные члены одного ряда, напр. белое и черное.
схожие:
Контрарный - (от contra – против и arc – дуга) противопоставленный...
Противоположность - философская категория, отражающая свойства сторон, черт и т. д.,...
Софистика а) первоначально учение о мудрости и способах научения людей стать...
Контрарный
- (от contra – против и arc – дуга) противопоставленный по смыслу, семантической нагрузке (значению), позиции (находящийся в бинарной оппозиции) или содержанию высказывания. К. понятие – противостоящее высказанному в одной из данных здесь трактовок (например: холодно – тепло, холодно – жарко, высоко – низко, случайно – закономерно, случайно – необходимо, человеческий – звериный, человеческий – машинный и т. п.).
схожие:
Контрарный (от лат. contrarius) понятия, противоположные друг другу не формально