Философский энциклопедический словарь.2010.
Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия.Под редакцией Ф. В. Константинова.1960—1970.
Смотреть больше слов в «Философской энциклопедии»
операция логики высказываний, формализующая употребление связки "если и только если" в содержательных логич. выводах и в разговорном языке. Э. ("ЭКВИВАЛЕ?НЦИЯ") определяется обычно через импликацию ("?") и конъюнкцию ("&"); по определению выражение АЭКВИВАЛЕ?НЦИЯВ есть то же, что (??B) & (???), т.е. сокращенная запись конъюнкции двух импликаций. Т.о., истинность (выводимость, доказуемость) АЭКВИВАЛЕ?НЦИЯВ означает, что А и В имеют одинаковые истинностные значения (т.е. истинны или ложны одновременно). См. Алгебра логики. ... смотреть
Rzeczownik эквиваленция f ekwiwalencja f
логическое действие, состоящее в употреблении связок *если, и только если* в содержательных логических выводах и разговорном языке; выражается через импликацию и конъюнкцию (см. Конъюнктивные суждения).... смотреть
логическая операция, состоящая в употреблении связок типа “если и только если” в содержательных логических выводах и разговорном языке; выражается через импликацию и конъюнкцию. ... смотреть
вид сложного суждения, образованного из простых суждений, которые вытекают друг из друга, являясь тождественными (эквивалентными).
biconditional
(логическая связка) biconditional вчт.
эквіваленцыя