Mathematical logic defines statements as declarative sentences that are either true or false. Simple statements convey a single idea, while compound statements convey two or more ideas joined by logical connectives like "and", "or", and "if-then". The truth value of a simple statement is either true or false, while the truth value of a compound statement depends on the truth values of its simple statements and connectives, as represented in a truth table.