Category:en:Logic
Jump to navigation
Jump to search
Newest and oldest pages |
---|
Newest pages ordered by last category link update: |
Oldest pages ordered by last edit: |
English terms related to logic.
NOTE: This is a "related-to" category. It should contain terms directly related to logic. Please do not include terms that merely have a tangential connection to logic. Be aware that terms for types or instances of this topic often go in a separate category.
The following label generates this category: logic
edit. To generate this category using this label, use {{lb|en|label}}
.
Top – A B C D E F G H I J K L M N O P Q R S T U V W X Y Z |
Subcategories
This category has the following 3 subcategories, out of 3 total.
(previous page) (next page)(previous page) (next page)
Pages in category "en:Logic"
The following 200 pages are in this category, out of 651 total.
(previous page) (next page)D
- Davis-Putnam algorithm
- decidability
- decidable
- deduction
- deduction theorem
- deductive
- deep embedding
- defeasible
- defeater
- definee
- definite clause
- deflationary
- degree
- De Morgan's law
- De Morgan's theorem
- denial
- denotation
- deontic logic
- depth
- derive
- description logic
- desitive
- destructive sorites
- determine
- dialetheia
- dialetheism
- dichotomy
- difference
- differentia
- dilemma
- direct
- dirimens copulatio
- discharge
- discretive
- discretive proposition
- discursus
- disjunct
- disjunction
- disjunctive
- disjunctive normal form
- disjunctive syllogism
- distribute
- distribution
- distributive
- DM
- domain of discourse
- dormitive principle
- dormitive virtue
- double turnstile
- doxastic logic
- DS
- dyadic
E
- ecthesis
- eigenvariable
- elementary equivalence
- elench
- elenctical
- elimination
- entailment
- enthymeme
- Entscheidungsproblem
- epagoge
- epichirema
- episyllogism
- equipollence
- equipollent
- equiprobable
- equisatisfiability
- equisatisfiable
- equivalence
- equivocation
- eubouliatic
- exclusive disjunction
- exclusive or
- existential instantiation
- existential quantifier
- explicandum
- exportation
- extension
F
- fallacy
- fallacy fallacy
- false
- false analogy
- falsidical
- falsum
- figure
- finitary
- first-order
- first-order logic
- FO
- FOL
- forgetful functor
- formal fallacy
- formal language
- formal logic
- formal system
- formal validity
- formation rule
- formula
- forward reasoning
- free
- free variable
- function
- functionhood
- functor
- fuzzy math
G
H
I
- if and only if
- iff
- ignoratio elenchi
- ignotum per ignotius
- implicand
- implicant
- implication
- implicational propositional calculus
- implicator
- importation
- impredicative
- impredicativity
- inclusive disjunction
- inclusive or
- inconcludent
- inconsistency
- inconsistent
- indesignate
- indirect
- individualism
- induce
- induction
- inductive
- inference rule
- inference to the best explanation
- infima species
- infinitary
- infinitate
- infinite regress
- informal fallacy
- informal logic
- innuendo
- intension
- intensionality
- intensional logic
- interdefinable
- interpretation
- intuitionism
- intuitionist
- intuitionistic
- intuitionistic logic
- inverse
- irreferential
L
- law
- law of contradiction
- law of double negation
- law of excluded middle
- law of identity
- law of noncontradiction
- law of nontriviality
- LEM
- Lévy hierarchy
- liar paradox
- limit
- linear logic
- literal
- Löb's theorem
- logic
- Thesaurus:logic
- logical calculus
- logical connective
- logical constant
- logical system
- logic diagram
- logic gate