Rules of Inference

created by yesno

(idea) by yesno (5.8 mon) (print) ? (I like it!) 2 C!s Fri Mar 23 2001 at 6:33:18

This is a handy reference to all of the rule of logical inference I could dig up. A fun guide for all you logicians.

Modus Ponens
If A, then B.
A.
Therefore B.

Modus Tollens
If A, then B.
Not B.
Therefore not A.

Hypothetical Syllogism
If A, then B.
If B, then C.
Therefore if A, then C.

Disjunctive Syllogism
P or Q.
Not P.
Therefore Q.

Conjunction
A.
B.
Therefore A and B.

Simplification
A and B.
Therefore A.

Addition
A.
Therefore A or B.

Here, they start to get more complex, so I will use some basic notation. X -> Y means if X, then Y. ~X means not X. :: means is the same as. iff is "if and only if", for any sentence if x iff y, then y iff x. It's a mutal dependency thing, dig? FORALL is the upsidedown "A", FORALLx means, guess what? For all members of x. FOR SOME is the backwards "E". FOR SOME x means there is at least one member of x that the statement to follow is true about.

Tautology
A :: (A or ~A)
A :: (A AND A)

Double Negation
~~A :: A

Transposition
A -> B :: ~B -> ~A

Material Implication
A -> B :: ~A or B

Material Equivalence
A iff B :: ((A -> B) AND (B -> A))
A iff B :: ((A AND B) or (~A AND ~B))

Constructive Dilemma
(A -> B) AND (C -> D)
A or C.
Therefore B or D.

Commutativity
(A or B) :: (B or A)
(A AND B) :: (B AND A)

Associativity
(A or (B or C)) :: ((A or B) or C)
(A AND (B AND C)) :: ((A AND B) or C)

Distribution
(A AND (B or C)) :: ((A AND B) or (A AND C)
(A or (B AND C)) :: ((A or B) AND (A or C)

Exportation
((A AND B) -> C) :: (A -> (B -> C))

Universal Instantation
FORALLx
All instances of x can be replaced by any name.

Existential Instantation.
FOR SOMEx
All instances of x can be replaced by a new name (cannot have been previously mentioned in a proof).
May these rules serve well your predicate logic adventures.

printable version
chaos

modus morons	Ex Falso Quodlibet	Everything logic symbols	Modus Ponens
conjunction	Predicate Logic	Disjunctive Syllogism	Hypothetical Syllogism
The Paluxy Man Tracks	salva veritate	propositional logic	logic
paraconsistent logic	Simplification	Addition	inference rule
Like	Modus Tollens	Double Negation	stigmergy
pope	Empirical	symbolic logic	syllogistic logic

Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.

Login
Password

remember me
password reminder
register

Everything2 Help

cooled by Tem42

Look at this mess the Death Borg made!
How to listen to the stories that cats tell us
Nike
Gaussian formula
My correspondence with the Westboro Baptist Church
In the empty mountains
chocolate sorbet
Balaclava
Garry Owen
Dirty Harry
Everything Editor Logs
Lesbian conspiracy
Ferris wheel
Formatting poems and simple HTML

etouffee
Wild tides guard her secrets	(poetry)
Lord Brawl
Dr. Horrible's Sing-Along Blog	(review)
a8ksh4
regret	(idea)
Heisenberg
Editor Log: July 2008	(log)
sam512
halfway homes, catacombs, twilight zones	(fiction)
Timeshredder
The Texas UFO Crash of 1897	(event)
Heitah
The Dark Knight	(review)
ignis_glaciesque
Uppsala	(place)
ignis_glaciesque
diffusion of responsibility	(idea)
TheOrientalAfrican
The Soft Meadow of my Childhood	(event)
BookReader
The Dragon Slayers	(fiction)
kohlcass
religiously fashionable	(review)
Pavlovna
waulking song	(thing)
tentative
Stick Man	(poetry)
Ereneta
The Fight with the Snapping Turtle: Or, the American St. George	(poetry)

This affordable entertainment brought to you by The Everything Development Company