Category:Theorems in propositional logic

From HandWiki

Jump to: navigation, search

Philosophy portal

Here is a list of articles in the category Theorems in propositional logic of the Philosophy portal.

Wikimedia Commons has media related to Theorems in propositional logic.

Pages in category "Theorems in propositional logic"

The following 39 pages are in this category, out of 39 total.

A

Absorption (logic) (philosophy)
Absorption law (computing)

B

Biconditional elimination (computing)
Biconditional introduction (computing)

C

Commutativity of conjunction (computing)
Conjunction elimination (computing)
Conjunction introduction (computing)
Consensus theorem (computing)
Consequentia mirabilis (philosophy)
Constructive dilemma (philosophy)
Contraposition (computing)

D

De Morgan's laws (computing)
Destructive dilemma (philosophy)
Disjunction elimination (computing)
Disjunction introduction (computing)
Disjunctive syllogism (computing)
Distributive property (computing)
Double negation (computing)

E

Exportation (logic) (philosophy)

F

Frege's theorem (computing)

H

Hypothetical syllogism (computing)

I

Idempotency of entailment (philosophy)

L

Law of excluded middle (computing)
Law of noncontradiction (philosophy)

M

Material implication (rule of inference) (computing)
Modus non excipiens (computing)
Modus ponendo tollens (computing)
Modus ponens (computing)
Modus tollens (computing)
Monotonicity of entailment (philosophy)

N

Nicod's axiom (computing)

P

Peirce's law (computing)
Principle of explosion (philosophy)
Proof by contradiction (computing)

R

Reductio ad absurdum (philosophy)
Resolution (logic) (philosophy)

S

William of Soissons (philosophy)

T

Tautology (rule of inference) (computing)
Transposition (logic) (philosophy)

Retrieved from "https://handwiki.org/wiki/index.php?title=Category:Theorems_in_propositional_logic&oldid=103642"