MathResources Inc. - Interactive Math Software
A to Z
Geometry
Continuum Mechanics
Mechanics
Linear Algebra
Differential Equations
Number Theory
Calculus
Numerical Analysis
Logic
Statistics
PreCalculus
Logic
Logic
a posteriori
a priori
abstract
abstraction
affirmative
aliorelative
alternant
alternation
analytic
ancestral
antecedent
antidesignated
antisymmetric
application
argument
assignment
assumption
asymmetric
atomic
aut
axiomatic system
barcan formula
biconditional
binary
bind
bound
burali-forti paradox
buridan's ass
calculus
cantor's paradox
cantorian set theory
church's theorem
circle
closed sentence
closure
compactness theorem
concatenate
conclusion
condition
conditional
conditionalization
conjunct
conjunction
conjunction elimination
conjunction introduction
connective
consequence
consequent
consistency theorem
consistent
contingency
contingent
contradictory
contraposition
contrapositive
contrary
converse
counterpart
cut
de dicto
de re
decidable
decision problem
decision procedure
deduction theorem
definite description
designated
detach
dilemma
disjunct
disjunction
disjunctive normal form
disjunctive syllogism
diversity
domain of discourse
double negation
elementary
elimination rule
empirical
empty
entail
entailment
equipollent
equivalence
equivalent
essential
euler's circles
excluded middle
exclusive
exclusive disjunction
existential
existential generalization
existential instantiation
existential quantifier
exportation
extension
extensional
extensive
figure
first-order
fish-hook
formal calculus
formal equivalence
formal language
formal system
formalize
formation rules
free
generalization
godel's proof
hypothetical
identity
if
importation
impredicative definition
inclusive disjunction
incomplete
inconsistency
inconsistent
individual
instance
instantiation
intension
intensional
interpretation
introduction rule
lambda calculus
leibniz's law
liar paradox
literal
logistic system
lowenheim-skolem theorem
main connective
major premise
major term
material implication
metavariable
middle term
minor premise
minor term
modal
modality
mode
model
modus ponens
modus tollens
molecular
mood
necessary
necessity
negation
negative
non sequitur
non-equivalence
non-reflexive
non-symmetric
non-transitive
numerical quantifier
obverse
open sentence
open theory
ordering
p
positive
possible
possible world
predicate
predicative
prenex normal form
prenex operation
proposition
quantifier
quantify
quantity
quasi-tautology
reductio ad absurdum
reference
referent
restricted quantifier
rule of inference
russell's paradox
satisfiability problem
satisfiable
satisfy
schema
scope
self-reference
semantic
semantic tableau
semantics
sense
sentential calculus
sentential function
set theory
skolem form
skolem paradox
sound
stroke
structure
subcontrary
substitution
substitution instance
substitution theorem
succedent
successor
syllogism
syntactic
synthetic
t
tautological consequence
tautology
term
thin
transformation rules
truth set
truth-function
truth-functional
truth-table
truth-value
truth-value gap
turnstile
type
undecidable
unique quantifier
universal
universal instantiation
universal quantifier
universe
valid
valuation
valuation system
vel
vicious circle
well-formed
well-ordering principle
world