https://maximummathematics.com/books/foundational-mathematics/logic/propositions/index.htmlIn Mathematics, we deal with statements like these: \[ \begin{align*} &\text{Squares have four equal sides.} \\ \\ &\text{Quadratic equations have at most two} \\ &\text{distinct roots.} \end{align*} \]In life, we deal with statements like these: \[ \begin{align*} &\text{If you don't pay your parking tickets, then} \\ &\text{you will go to jail.} \\ \\ &\text{The rent was paid on the first of the month, and the} \\ &\text{air conditioner stopped working.} \end{align*} \]In Math, as in life, some statements are easy to determine if they’re true or false. However, when we encounter more complicated expressions, we typically need a way to carefully evaluate that statement’s truth.Hugoen-US