Словарь по логике

Логическая эквивалентность: Высказывания A и B логически эквивалентны если и только если из A логически следует B и из B логически следует A.