Scribd
Upload
36 views13 pages

Rule of Replacement

The document discusses the rule of replacement for compound propositions. It states that two propositions P and Q are logically equivalent if P↔Q is a tautology. This means that in a compound proposition, P and Q can replace each other whenever they occur. The rule of replacement can be used to prove that two propositions are logically equivalent by showing the steps used, which may include the use of identities, DeMorgan's laws, commutativity, distributivity, material implication, or absorption laws. An example is shown of using these rules and steps to prove two propositions are logically equivalent.

Uploaded by

Juls Antonio
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
36 views13 pages

Rule of Replacement

The document discusses the rule of replacement for compound propositions. It states that two propositions P and Q are logically equivalent if P↔Q is a tautology. This means that in a compound proposition, P and Q can replace each other whenever they occur. The rule of replacement can be used to prove that two propositions are logically equivalent by showing the steps used, which may include the use of identities, DeMorgan's laws, commutativity, distributivity, material implication, or absorption laws. An example is shown of using these rules and steps to prove two propositions are logically equivalent.

Uploaded by

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

RULE OF

REPLACEMENT
JULIUS S. ANTONIO
The compound propositions P and Q are called
logically equivalent if is a tautology. The notation
denotes that P and Q are logically equivalent.

Compound Propositions
Any two logically equivalent propositions can
replace each other whenever they occur.

Rule of Replacement
Rule of Replacement
Rule of Replacement
Use rule of replacement to show

are logically equivalents.


Proof:
We want to show
that
Material Implication
DeMorgan’s Law
Identity
Material Implication
Proof:
We want to show
that
Material Implication

DeMorgan’s Law

Commutativity

Distributivity
Proof:
We want to show
that

Commutativity

Material Implication
Show that

are logically equivalents.


Proof:
We want to show
that
Identity on P
Absorption Laws
Distributivity

Identity

Identity
Thank you for watching.

You might also like