Thesaurus:logic
English
Noun
Sense: study of correct inference
Synonyms
Holonyms
Meronyms
- formal logic
- Aristotelian logic
- classical logic
- symbolic logic
- propositional logic
- predicate logic
- first-order logic
- second-order logic
- modal logic
- temporal logic
- fuzzy logic
- intuitionistic logic
- deductive logic
- inductive logic
- logical calculus
- propositional calculus
- predicate calculus
Various
Key concepts
- inference
- argument [⇒ thesaurus]
- fallacy
- premise
- conclusion
- validity
- proposition
- atomic proposition
- predicate
- relation [⇒ thesaurus]
- inference rule
- syllogism
- modus ponens
- modus tollens
- definition [⇒ thesaurus]
- axiom
- theorem [⇒ thesaurus]
- proof
- derivation
- antecedent
- consequent
- necessity
- possible world
- formula
- sentence
- variable [⇒ thesaurus]
- free variable
- bound variable
- tautology
- contradiction
- Boolean algebra
- truth value
- interpretation
- model [⇒ thesaurus]
- set
Names of logical connectives
- conjunction
- disjunction
- negation
- implication
- material implication
- equivalence
- quantifier [⇒ thesaurus]
Words for logical connectives
Symbols for logical connectives
People
See also
- Appendix:Glossary of logic
Further reading
- “logic” in Roget's Thesaurus, T. Y. Crowell Co., 1911.
- “logic” in Moby Thesaurus II, Grady Ward, 1996.
- "logic" in WordNet 3.1, Princeton University, 2011.
- logic on Wikipedia.Wikipedia
- Outline of logic on Wikipedia.Wikipedia
- Template:Common logical symbols on Wikipedia.Wikipedia
- List of logic symbols on Wikipedia.Wikipedia
- Classical Logic in Stanford Encyclopedia of Philosophy, and many other articles on logic
- logic, britannica.com