ЭКВИВАЛЕНЦИЯ

ЭКВИВАЛЕНЦИЯ
логическое действие, состоящее в употреблении связок «если, и только если» в содержательных логических выводах и разговорном языке; выражается через импликацию и конъюнкцию (см. Конъюнктивные суждения).

Философский энциклопедический словарь.2010.

ЭКВИВАЛЕ́НЦИЯ
операция логики высказываний, формализующая употребление связки "если и только если" в содержательных логич.выводах и в разговорном языке. Э. ("ЭКВИВАЛЕ́НЦИЯ") определяется обычно через импликацию ("⊃") и конъюнкцию ("&"); по определению выражение АЭКВИВАЛЕ́НЦИЯВ есть то же, что (Α⊃B) & (Β⊃Α), т.е. сокращенная запись конъюнкции двух импликаций. Т.о., истинность (выводимость, доказуемость) АЭКВИВАЛЕ́НЦИЯВ означает, что А и В имеют одинаковые истинностные значения (т.е. истинны или ложны одновременно). См. Алгебра логики.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия..1960—1970.



Философская энциклопедия 

ЭКВИВОКАЦИЯ →← ЭКВИВАЛЕНТНОСТЬ

T: 0.0939046 M: 3 D: 3