Mmw

Front 1

study of principle of correct reasoning

Back 1

logic

Front 2

formal statement of the meaning of a word or group of words and it could stand alone

Back 2

definition

Front 3

statement that can be demonstrated to be true by accepted mathematical operations and arguments

Back 3

theorem

Front 4

process of showing a theorem to be correct

Back 4

proof

Front 5

rigorous mathematical argument which unequivocally demonstrate the truth of a given proposition

Back 5

proof

Front 6

declarative statement that is true or false but not both

Back 6

proposition

Front 7

logical connective/ two statements combined by the word "and"

Back 7

conjunction

Front 8

two statements combined by the word "or"

Back 8

disjunction

Front 9

statement with "if-then" / true statement can't imply a false statement

Back 9

conditional

Front 10

"if and only if" statement

Back 10

biconditional

Front 11

proposition that follows with little or no proof required from one already proven

Back 11

corollary

Front 12

can also be considered as theorem / short theorem used in proving a larger theorem

Back 12

lemma

Front 13

a proposition which is consistent with known data, but has neither been verified nor shown to be false

Back 13

conjecture