logic (English, noun)
Senses:
holonyms: word: philosophy
source: Thesaurus:logic
word: mathematics
source: Thesaurus:logic
meronyms: word: formal logic
source: Thesaurus:logic
word: Aristotelian logic
source: Thesaurus:logic
word: classical logic
source: Thesaurus:logic
word: symbolic logic
source: Thesaurus:logic
word: propositional logic
source: Thesaurus:logic
word: predicate logic
source: Thesaurus:logic
word: first-order logic
source: Thesaurus:logic
word: second-order logic
source: Thesaurus:logic
word: modal logic
source: Thesaurus:logic
word: temporal logic
source: Thesaurus:logic
word: fuzzy logic
source: Thesaurus:logic
word: intuitionistic logic
source: Thesaurus:logic
word: deductive logic
source: Thesaurus:logic
word: inductive logic
source: Thesaurus:logic
word: logical calculus
source: Thesaurus:logic
word: propositional calculus
source: Thesaurus:logic
word: predicate calculus
source: Thesaurus:logic
related: word: inference
source: Thesaurus:logic
word: argument
source: Thesaurus:logic
word: fallacy
source: Thesaurus:logic
word: premise
source: Thesaurus:logic
word: conclusion
source: Thesaurus:logic
word: validity
source: Thesaurus:logic
word: proposition
source: Thesaurus:logic
word: atomic proposition
source: Thesaurus:logic
word: predicate
source: Thesaurus:logic
word: relation
source: Thesaurus:logic
word: inference rule
source: Thesaurus:logic
word: syllogism
source: Thesaurus:logic
word: modus ponens
source: Thesaurus:logic
word: modus tollens
source: Thesaurus:logic
word: definition
source: Thesaurus:logic
word: axiom
source: Thesaurus:logic
word: theorem
source: Thesaurus:logic
word: proof
source: Thesaurus:logic
word: derivation
source: Thesaurus:logic
word: antecedent
source: Thesaurus:logic
word: consequent
source: Thesaurus:logic
word: necessity
source: Thesaurus:logic
word: possible world
source: Thesaurus:logic
word: formula
source: Thesaurus:logic
word: sentence
source: Thesaurus:logic
word: variable
source: Thesaurus:logic
word: free variable
source: Thesaurus:logic
word: bound variable
source: Thesaurus:logic
word: tautology
source: Thesaurus:logic
word: contradiction
source: Thesaurus:logic
word: Boolean algebra
source: Thesaurus:logic
word: truth value
source: Thesaurus:logic
word: interpretation
source: Thesaurus:logic
word: model
source: Thesaurus:logic
word: set
source: Thesaurus:logic
word: conjunction
source: Thesaurus:logic
word: disjunction
source: Thesaurus:logic
word: negation
source: Thesaurus:logic
word: implication
source: Thesaurus:logic
word: material implication
source: Thesaurus:logic
word: equivalence
source: Thesaurus:logic
word: quantifier
source: Thesaurus:logic
word: and
source: Thesaurus:logic
word: or
source: Thesaurus:logic
word: not
source: Thesaurus:logic
word: if
source: Thesaurus:logic
word: when
source: Thesaurus:logic
word: unless
source: Thesaurus:logic
word: thus
source: Thesaurus:logic
word: therefore
source: Thesaurus:logic
word: it follows
source: Thesaurus:logic
word: for each
source: Thesaurus:logic
word: exists
source: Thesaurus:logic
word: ¬
source: Thesaurus:logic
word: ~
source: Thesaurus:logic
word: ∧
source: Thesaurus:logic
word: &
source: Thesaurus:logic
word: ∨
source: Thesaurus:logic
word: →
source: Thesaurus:logic
word: ↛
source: Thesaurus:logic
word: ⇒
source: Thesaurus:logic
word: ⇏
source: Thesaurus:logic
word: ⊃
source: Thesaurus:logic
word: ↔
source: Thesaurus:logic
word: ⇔
source: Thesaurus:logic
word: ≡
source: Thesaurus:logic
word: logician
source: Thesaurus:logic
word: Aristotle
source: Thesaurus:logic
word: Frege
source: Thesaurus:logic
word: Russell
source: Thesaurus:logic
word: Gödel
source: Thesaurus:logic
word: Appendix:Glossary of logic
source: Thesaurus:logic
tags: no-gloss
Forms: