biconditional and logical equivalence

preview_player
Показать описание

Рекомендации по теме
Комментарии
Автор

Really perfect explanation, I asked my teacher why we would want to use to different symbols for two things that looked the same to me and he was clearly unable to give a clear answer, but you succeeded.

Karim-nqbe
Автор

My discrete math textbook says that logical equivalence is not a logical operation(or logical connective) while biconditional is a logical operation. The statement 'p is logically equivalent to q' is the statement that 'the biconditional p <-> q is a a tautology'. A biconditional can be either true or false while a tautology is always true.

phandinhthanh