Vocabulary
true
false
conjecture
logic
deduction
proof