Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Engineering LibreTexts

3.4: The Laws of Logic

( \newcommand{\kernel}{\mathrm{null}\,}\)

The Laws of Logic

We will now prepare for the unit on proofs. Essentially, a table of laws is presented and discussed. These are essential to our future study in this topic area. You will find a similarity between laws of logic and laws of algebra. However, just as similarities between the syntax of computer languages can lead you astray, be sure you keep logic and algebra separate. For instance, 1 + 1 does not equal 2 in logic. Rather, 1 + 1 = 1.

3.4 The Laws of Logic

3.4.1 

In this section, we will list the most basic equivalences and implications of logic. Most of the equivalences listed in Table Table 3.4.3 should be obvious to the reader. Remember, 0 stands for contradiction, 1 for tautology. Many logical laws are similar to algebraic laws. For example, there is a logical law corresponding to the associative law of addition, a+(b+c)=(a+b)+c. In fact, associativity of both conjunction and disjunction are among the laws of logic. Notice that with one exception, the laws are paired in such a way that exchanging the symbols ∧, ∨, 1 and 0 for ∨ , ∧, 0, and 1, respectively, in any law gives you a second law. For example, p0p results in p1p. This is called a duality principle. For now, think of it as a way of remembering two laws for the price of one. We will leave it to the reader to verify a few of these laws with truth tables. However, the reader should be careful in applying duality to the conditional operator and implication since the dual involves taking the converse. For example, the dual of pqp is pqp, which is usually written ppq.

Example 3.4.1: Verification of an Identity Law

The Identity Law can be verified with this truth table. The fact that (p1)p is a tautology serves as a valid proof.

Table 3.4.2: Truth table to demonstrate the identity law for conjunction.

Some of the logical laws in Table Table 3.4.4 might be less obvious to you. For any that you are not comfortable with, substitute actual propositions for the logical variables.  For example, if is “John owns a pet store” and is “John likes pets,” the detachment law should make sense.

Table 3.4.3: Basic Logical Laws - Equivalences

fig-ch01_patchfile_01.jpg
Table 3.4.4: Basic Logical Laws - Common Implications and Equivalences

 


3.4: The Laws of Logic is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

Support Center

How can we help?