Logical Operators

$\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.1 Logical Operators

In Sage, the logical operators are AND &, OR |, NOT ~, conditional ->, and biconditional <->.

Name	Sage Operator	Mathematical Notation
AND	`&`	$\land$
OR	`\|`	$\lor$
NOT	`~`	$\lnot$
Conditional	`->`	$\rightarrow$
Biconditional	`<->`	$\leftrightarrow$

Subsection 4.1.1 Boolean Formula

Sage’s propcalc.formula() function allows for the creation of Boolean formulas using variables and logical operators. We can then use show function to display the mathematical notations.

Prev Top Next