# All Need-to-know Definitions for Midterm!

## Document Summary

A convincing argument communicated in the language of mathematics. A sentence which is either true or false. (eg. 2 + 2 = 4 true) If a is true, then b is true. The section of the statement where you assume true. (is it free information) The section of the statement that uses the assumption in the hypothesis to show that a statement is true. A statement composed of one or more component statements. Two compound statements are logically equivalent if they have the same truth values for all combinations of their component statements. Divides if there exists an integer so that. An integer is the gcd of and , written , if and only if: A theorem which you have already proved and which relates to the problem in general. Data which relates to this specific problem. (commonly referred as the certificate. ) There is, there are, there exists, for some (exists at least one)