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