Определение. Высказывание вида "A тогда и только затем, когда B" записывается как AB и называется эквивалентностью высказываний A и B. Она истинна, когда значения высказываний A и B сбегаются. Если же они разные, то эквивалентность ошибочна. Например, высказывание "Если 2*2=5, то Солнце вращается вокруг Земли"....