Raw list of ‘Mathematical Reasoning’ items

page 1 of 4

6-people theorem
and
antecedent
argument
atomic proposition
axiom
base case of mathematical induction
biconditional
boolean value
bound variable
column of a truth table
complement
complementary
complete
completeness
conclusion
condition
conditional
conditional equation
conjunction
connective
consistency
consistent
contradiction
contradictory
contrapositive
contrary
converse
corollary
De Morgan’s laws
decision table
descriptive statistics
direct proof
discourse
disjunction
disproof
dispute
domain
 Raw list of ‘Mathematical Reasoning’ items
page 2 of 4

domain of discourse
emergent order
equivalence
excluded middle
exclusive or
existence
existential
existential quantification
fallacy
falseness
falsity
first-order logic
first-order logic without equality
first-order predicate calculus
flowchart
free variable
Godel’s theorem
identity
implication
implies
imply
indirect proof
inductive step of mathematical induction
infer
inference
inferential equivalence
inferential statistics
law of the excluded middle
lemma
logic
logical connective
logical equivalence
main column of a proposition’s truth table
major premise
mathematical induction
mathematical logic
minor premise
modus ponens
 Raw list of ‘Mathematical Reasoning’ items
page 3 of 4

modus tollens
nS
nS→n+1S
n  S implies n + 1  S
n+1S
n + 1 is a member of S
n is a member of S
n is a member of S implies n + 1 is a member of S
necessary and sufficient condition
necessary condition
negate
negation
negative
negatory
one-way implication
opposite
or
order
postulate
predicate logic
premise
presupposition
principle
principle of mathematical induction
proof
proposition
propositional calculus
propositional logic
pseudocode
quantification
quantificational logic
quantified variable
quantified variables over non-logical objects
quantifier
Ramsey Theory
reciprocal
reciprocity
 Raw list of ‘Mathematical Reasoning’ items
page 4 of 4

refutation
rule of contradiction
scope
scope of a variable
second-order logic
sentential calculus
sentential logic
statement
statement logic
statistical inference
strong induction
strong mathematical induction
strong principle of mathematical induction
sufficient condition
supposition
syllogism
symbolic logic
table of truth values
tautology
theorem
threshold
truth
truth table
truth value
truthfulness
types of syllogism
unique
uniqueness
universal quantification
universal set
universe
variable
Venn diagram
Well-Ordering Principle
without equality
xor
zeroth-order logic