Logical Equivalence and the Laws of Logic

Section learning map

Learning structure

Follow the chronological topic sequence, open any concept route, and use fullscreen or keyboard navigation when studying the section as a whole.

Interactive concept atlas

Logical Equivalence and the Laws of Logic Learning Sequence

13 concepts · 23 relationships · auto mode

Concept map ready to load

The graph engine loads only when this learning map approaches the viewport.

Selected concept

sectionOpen concept

Relationships

Logical Equivalence and the Laws of Logic —contains→ Equivalent Forms of Compound Statements
Logical Equivalence and the Laws of Logic —contains→ De Morgan's Laws
Logical Equivalence and the Laws of Logic —contains→ Distributive Laws for Logical Connectives
Logical Equivalence and the Laws of Logic —contains→ Laws of Logic
Logical Equivalence and the Laws of Logic —contains→ Duality in Logical Equivalence
Logical Equivalence and the Laws of Logic —contains→ Substitution Rules for Logical Equivalence
Logical Equivalence and the Laws of Logic —contains→ Negation and Duals of Conditional Statements
Logical Equivalence and the Laws of Logic —contains→ Converse, Inverse, and Contrapositive

Keyboard controls

Arrow keys select concepts. Enter opens the selected concept. Plus and minus zoom. Zero fits the whole map.

Accessible text outline

Concepts

Logical Equivalence and the Laws of Logicsection
Equivalent Forms of Compound Statementssubsection
De Morgan's Lawssubsection
Distributive Laws for Logical Connectivessubsection
Laws of Logicsubsection
Duality in Logical Equivalencesubsection
Substitution Rules for Logical Equivalencesubsection
Negation and Duals of Conditional Statementssubsection
Converse, Inverse, and Contrapositivesubsection
Nested Conditionals and Program Logicsubsection
Simplification of Compound Statementssubsection
Switching Networks and Logical Equivalencesubsection
NAND and NOR Connectivessubsection

Relationships

Logical Equivalence and the Laws of Logic --contains--> Equivalent Forms of Compound Statements
Logical Equivalence and the Laws of Logic --contains--> De Morgan's Laws
Equivalent Forms of Compound Statements --followed-by--> De Morgan's Laws
Logical Equivalence and the Laws of Logic --contains--> Distributive Laws for Logical Connectives
De Morgan's Laws --followed-by--> Distributive Laws for Logical Connectives
Logical Equivalence and the Laws of Logic --contains--> Laws of Logic
Distributive Laws for Logical Connectives --followed-by--> Laws of Logic
Logical Equivalence and the Laws of Logic --contains--> Duality in Logical Equivalence
Laws of Logic --followed-by--> Duality in Logical Equivalence
Logical Equivalence and the Laws of Logic --contains--> Substitution Rules for Logical Equivalence
Duality in Logical Equivalence --followed-by--> Substitution Rules for Logical Equivalence
Logical Equivalence and the Laws of Logic --contains--> Negation and Duals of Conditional Statements
Substitution Rules for Logical Equivalence --followed-by--> Negation and Duals of Conditional Statements
Logical Equivalence and the Laws of Logic --contains--> Converse, Inverse, and Contrapositive
Negation and Duals of Conditional Statements --followed-by--> Converse, Inverse, and Contrapositive
Logical Equivalence and the Laws of Logic --contains--> Nested Conditionals and Program Logic
Converse, Inverse, and Contrapositive --followed-by--> Nested Conditionals and Program Logic
Logical Equivalence and the Laws of Logic --contains--> Simplification of Compound Statements
Nested Conditionals and Program Logic --followed-by--> Simplification of Compound Statements
Logical Equivalence and the Laws of Logic --contains--> Switching Networks and Logical Equivalence
Simplification of Compound Statements --followed-by--> Switching Networks and Logical Equivalence
Logical Equivalence and the Laws of Logic --contains--> NAND and NOR Connectives
Switching Networks and Logical Equivalence --followed-by--> NAND and NOR Connectives

Logical Equivalence and the Laws of Logic

Learning structure

Logical Equivalence and the Laws of Logic Learning Sequence

Concepts

Relationships

Section learning sequence

Topics

Equivalent Forms of Compound Statements

De Morgan's Laws

Distributive Laws for Logical Connectives

Laws of Logic

Duality in Logical Equivalence

Substitution Rules for Logical Equivalence

Negation and Duals of Conditional Statements

Converse, Inverse, and Contrapositive

Nested Conditionals and Program Logic

Simplification of Compound Statements

Switching Networks and Logical Equivalence

NAND and NOR Connectives

Curated pathways

Metric Spaces

Introduction To Discrete Mathematics