вид сложного суждения, образованного из простых суждений, которые вытекают друг из друга, являясь тождественными (эквивалентными).
ЭКВИВАЛЕНЦИЯ
ЭКВИВАЛЕНЦИЯ (ЭКВИВАЛЕНТНОЕ СУЖДЕНИЕ)
Источник: Краткий курс логики: глоссарий
ЭКВИВАЛЕНЦИЯ
логическое действие, состоящее в употреблении связок "если, и только если" в содержательных логических выводах и разговорном языке; выражается через импликацию и конъюнкцию (см. Конъюнктивные суждения).
Источник: Философский энциклопедический словарь
ЭКВИВАЛЕНЦИЯ
операция логики высказываний, формализующая употребление связки "если и только если" в содержательных логич. выводах и в разговорном языке. Э. ("ЭКВИВАЛЕ?НЦИЯ") определяется обычно через импликацию ("?") и конъюнкцию ("&"); по определению выражение АЭКВИВАЛЕ?НЦИЯВ есть то же, что (??B) & (???), т.е. сокращенная запись конъюнкции двух импликаций. Т.о., истинность (выводимость, доказуемость) АЭКВИВАЛЕ?НЦИЯВ означает, что А и В имеют одинаковые истинностные значения (т.е. истинны или ложны одновременно). См. Алгебра логики.
Источник: Философская Энциклопедия. В 5-х т.