Thesaurus:logic
Jump to navigation
Jump to search
English[edit]
Noun[edit]
Sense: study of correct inference[edit]
Synonyms[edit]
Holonyms[edit]
Meronyms[edit]
Various[edit]
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[edit]
Further reading[edit]
- “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