Философская Энциклопедия (в 5 томах)

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

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

  1. эквиваленция—вид сложного суждения образованного из простых суждений которые вытекают друг из друга являясь тождественными эквивалентными....Краткий курс логики
  2. эквиваленция—логическая связка biconditional вчт....Русско-английский словарь по электронике
  3. эквиваленция—biconditional...Русско-английский технический словарь
  4. эквиваленция—эквваленцыя...Русско-белорусский математический словарь
  5. эквиваленция—Rzeczownik эквиваленция f ekwiwalencja f...Универсальный русско-польский словарь
  6. эквиваленция—ЭКВИВАЛЕНЦИЯ логическое действие состоящее в употреблении связок если и только если в содержательных логических выводах и разговорном языке выражается через импликациюem ...Философская энциклопедия
  7. эквиваленция—логическое действие состоящее в употреблении связок если и только если в содержательных логических выводах и разговорном языке выражается через импликацию и конъюнкцию см...Философский энциклопедический словарь II
  8. эквиваленция—логическая операция состоящая в употреблении связок типа если и только если в содержательных логических выводах и разговорном языке выражается через импликацию и конъюнкц...Философский энциклопедический словарь