Scribd
Upload
36 views

Important Equivalences in Propositional Logic

The document lists important logical equivalences in propositional logic, including: - Idempotence, commutativity, and associativity of logical operators like conjunction and disjunction. - De Morgan's laws, absorption laws, and distribution of conjunction over disjunction and vice versa. - Identity and domination laws involving logical constants like true and false. - Laws of excluded middle, contradiction, double negation, conditional, biconditional, and others.

Uploaded by

Curt Free
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
36 views

Important Equivalences in Propositional Logic

The document lists important logical equivalences in propositional logic, including: - Idempotence, commutativity, and associativity of logical operators like conjunction and disjunction. - De Morgan's laws, absorption laws, and distribution of conjunction over disjunction and vice versa. - Identity and domination laws involving logical constants like true and false. - Laws of excluded middle, contradiction, double negation, conditional, biconditional, and others.

Uploaded by

Curt Free
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 1

A List of Important Equivalences in Propositional Logic

p (p p)
p (p p)

idempotence of
idempotence of

(p q) (q p)
(p q) (q p)

commutativity of
commutativity of

((p q) r) (p (q r))
((p q) r) (p (q r))

associativity of
associativity of

(p q) (( p) ( q))
(p q) (( p) ( q))

DeMorgan's law
DeMorgan's law

p (p q) p
p (p q) p

absorption law
absorption law

(p (q r)) (p q) (p r))
(p (q r)) (p q) (p r))

distributivity of over
distributivity of over

(p true) p
(p false) p

identity law
identity law

(p true) true
(p false) false

domination
domination

(p ( p)) true

excluded middle

(p ( p)) false

contradiction

p ( p)

double negation

(p q) (( p) q)
(p q) ((p q) (q p))

conditional
biconditional

((p q) r) (p (q r))

exposition

((p q) (p ( q))) ( p)
(p q) (( q) ( p))
(p q) ( p q)
(p q) (p q)
(p q) ( p q)
(p q) (p q)
(p q) (p q)
((p q) (p r)) (p (q r))
((p r) (q r)) ((p q) r)
((p q) (p r)) (p (q r))
((p r) (q r)) ((p q) r)
(p q) ((p q) (q p))
(p q) ( p q)
(p q) ((p q) ( p q))
(p q) (p q)

absurdity
contrapositive

You might also like