Last updated Unknown

Status: Tags: #cards Links: Propositional Logic

Logic Laws

slide 4

Principles

• Collection of small logical equivalences T = Tautology (always 1) F = Contradiction (always 0)

Identity Laws

?

• when p is the deciding factor for a statement

Double negation

?

• where !!p = p

DeMorgan’s Law

?

• changing operation and adding not to both, adding not on outside bracket
• !200

Algebraic Logic Laws

Commutative Law

?

• Can interchange the position of propositions

Associative Law

?

• If the same connectives, you can interchange the order, even if they are in brackets

Distributing Law

?

• Distributing the exterior connective into each proposition inside the brackets

Idempotent Law

?

• When p is the only thing in a compound; statement

Logic Logic Laws

Inverse Law

?

• Known as law of contradiction / excluded middle

Domination Laws

?

• are when T/F is the deciding factor for a statement
  • ex) p and F

Absorption Law

?

Consequences

Benefits

• Helps shorten connectives by replacing things

Backlinks

1

list from Logic Laws

References:

Created:: 2021-07-10 17:07