2: Logical Reasoning
( \newcommand{\kernel}{\mathrm{null}\,}\)
- 2.2: Logically Equivalent Statements
- Two expressions are logically equivalent provided that they have the same truth value for all possible combinations of truth values for all variables appearing in the two expressions. In this case, we write X≡Y and say that X and Y are logically equivalent.
Thumbnail: The "magic eight ball" is not an example of logical reasoning to get an answer to a problem. (CC BY 2.0 Generic; Atlasowa)