Anonymous
Not logged in
British English
Log in
Vigyanwiki
Search
Template
:
Classical logic
From Vigyanwiki
Namespaces
Template
Discussion
More
More
Page actions
Read
View source
History
Classical logic
v
t
e
Classical logic
General
Quantifiers
Predicate
Connective
Tautology
Truth tables
Truth function
Truth value
Well-formed formula
Idempotency of entailment
Logicism
Problem of multiple generality
Associativity
Distribution
Classical logics
Term
Propositional
First-order
Second-order
Higher-order
Principles
Commutativity of conjunction
Excluded middle
Bivalence
Noncontradiction
Monotonicity of entailment
Explosion
Rules
De Morgan's laws
Material implication
Transposition
modus ponens
modus tollens
modus ponendo tollens
Constructive dilemma
Destructive dilemma
Disjunctive syllogism
Hypothetical syllogism
Absorption
Introduction
Negation
Double negation
Existential
Universal
Biconditional
Conjunction
Disjunction
Elimination
Double negation
Existential
Universal
Biconditional
Conjunction
Disjunction
People
Bernard Bolzano
George Boole
Georg Cantor
Richard Dedekind
Augustus De Morgan
Gottlob Frege
Kurt Gödel
Hugh MacColl
Giuseppe Peano
Charles Sanders Peirce
Bertrand Russell
Ernst Schröder
Henry M. Sheffer
Alfred Tarski
Willard Van Orman Quine
Ludwig Wittgenstein
Jan Łukasiewicz
Works
Begriffsschrift
Function and Concept
The Principles of Mathematics
Principia Mathematica
Tractatus Logico-Philosophicus
Template documentation
[
create
]
Hidden categories:
Collapse templates
Navigational boxes
Navigational boxes without horizontal lists
Pages with script errors
Sidebars with styles needing conversion
Template documentation pages
Templates generating microformats
Templates that are not mobile friendly
Templates using TemplateData
Wikipedia metatemplates
Navigation
Navigation
Main page
Recent changes
Random page
Help about MediaWiki
Wiki tools
Wiki tools
Special pages
Page tools
Page tools
User page tools
More
What links here
Related changes
Printable version
Permanent link
Page information
Page logs
Other projects
In other languages
Add links
Hidden categories
Hidden categories
Collapse templates
Navigational boxes
Navigational boxes without horizontal lists
Pages with script errors
Sidebars with styles needing conversion
Template documentation pages
Templates generating microformats
Templates that are not mobile friendly
Templates using TemplateData
Wikipedia metatemplates