Skip to main content\(\newcommand{\N}{\mathbb N} \newcommand{\Z}{\mathbb Z} \newcommand{\Q}{\mathbb Q} \newcommand{\R}{\mathbb R}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Section 4.3 Analyzing Logical Equivalences
Subsection 4.3.1 Equivalent Statements
When working with Sage symbolic logic, the == operator compares semantic equivalence.
Do not attempt to compare equivalence of truth tables.
However, we can compare equivalence of truth table lists.
Subsection 4.3.2 Tautologies
A tautology is a logical statement that is always true. The is_tautology() function checks whether a given logical expression is a tautology.
Subsection 4.3.3 Contradictions
In contrast to tautologies, contradictions are statements that are always false.
