As discussed in the introduction, logical statements are different from common English. We will discuss concepts like "or," "and," "if," "only if." (Here I would like to point out that in most mathematical papers it is acceptable to use the term "we" when referring to oneself. This is considered polite by not commanding the audience to do something nor excluding them from the discussion.)

A truth statement is one that is either true or false, not neither, and not both. Therefore, the sentence "This sentence is false." is not a truth statement because its truth value cannot be determined. However, the sentence "All people are cows." is a truth statement because its truth value can be determined, and is clearly false, since there are some people that are not cows. In mathematics, normally this phrase is shortened to statement to achieve conciseness and to avoid confusion.

The truth value of a statement is an evaluation of whether the statement is true (sometimes also referred or abbreviated as 1 or T) or false (sometimes referred also as 0 or F). Thus, the truth value of "2 < 3" is true and "4 > 5" is false.

In discussing logic and statements, it is common to use the letters P and Q as variables to denote statements. Throughout this section, this convention will be followed. We will now discuss logical connectors, or conjunctions that connect statements.

The connector "or" is used to connect two statements and make a third statement whose truth value is based on the first two. The statement "P or Q" is true if either P or Q is true, or if both of them are true. Therefore, the statement, "The internet is complex or math is exciting." is true, given that either or both statements are true. Another example, the statement "7 > 9 or 2 < 3" is true, because one of the connected statements is true. The only time the statement "P or Q" is false is when both P and Q are false; an example of a statement where both P and Q are false is the following "All people are American or all Americans are tall". Clearly, the statement "All people are American" is false, and is false also the statement "all Americans are tall".

"Or" is sometimes denoted with the symbol . So means "P or Q." This is also sometimes referred to as disjunction.

"And" is used to connect two statements, just as "or"; however, "P and Q" is only true when both P and Q are true, and false otherwise. The statement "The author of this article likes cheesecake and broccoli." is true since the statements "The author of this article likes cheesecake." and "The author of this article likes broccoli." are both true. Of course, it doesn't mean that I like them together on the same plate or in my mouth at the same time as one might infer.

Another example might be the statement "3<6 and 4<6", which is true, since both statements "3<6" and "4<6" are true. The statement "3<6 and 4>6" is not true since "4>6" is false.

"And" is sometimes denoted as . means "P and Q." This is referred to as conjunction.

This is another class of logical connectors, like "and" and "or." The three implication types are "if" , "only if" , and "if and only if" or "iff" . See also Necessary and sufficient conditions. The vast majority of mathematical proofs deal with statements such as (P only if Q) or (P if and only if Q).

To say that "Q is necessary for P" means that P cannot exist without Q. Another way of saying this is "P only if Q" or "if P then Q". The notation for this is (P implies Q).

The statement "Sunday is necessary for Easter" is true because if it is Easter, then it must be also Sunday. Yet, the statement "Water is necessary for humans" is, in a logical sense, false because something that is a human is probably not water as well. (However, the statement "Having water is necessary for humans" is true, because to be a human being something must contain water.) The statement "P only if Q" is false only when P is true and Q is false, because Q is a necessary condition (it must be true) for P to be true.

To say that "P is sufficient for Q" means "P cannot exist without Q" or "if P then Q". The notation for this is . This statement is only false when P is true and Q is false. This is the same statement as , but the roles are reversed; the former, however, is more common.

The interesting thing about an implication (an if-then statement) is that in the case that P is false, is always true. Thus, "If the world is flat, then the Sun does not exist" is a true statement. This kind of a statement is called vacuously true because Q can be replaced with any statement and the implication is still true. In fact, the mathematician Bertrand Russell boasted, "Give me any false statement and any other statement to prove and I will prove it". Given the statement "1 = 2" he was asked to prove that he was God. "Consider the set ", he replied, "since 1 = 2, the two elements are one, and therefore Russell = God".

"If" and "only if" statements are called conditional statements. These two are related, in fact they are the converse of each other. Converse simply means to switch the direction of the arrow. (The converse of is .)

To say that "P is necessary and sufficient for Q" means "P is true exactly when Q is true" or "P implies Q and Q implies P". This means that P and Q always have the same truth value—that is, they are both true or both false simultaneously. In mathematical symbols this is expressed as . This is referred to as a biconditional. When is a true statement, we say that P and Q are logically equivalent.

Negation refers to toggling a truth statement's truth value. The result is not always negative, or false, it is only the opposite of the original. Thus, the negation of "false" is "true." This is denoted by a tilde (~) or the negation symbol .

It will be shown below in a truth table that the negation of the statement , which is , is equivalent to . Thus, to use loose terminology, "not or" is "and" (similarly, "not and" is "or").

The contrapositive is related to negation. However, it is only defined for a conditional statement. It basically means negate both P and Q and switch the direction of the conditional. That is, the contrapositive of is ; or, equivalently, . It will be shown below that the contrapositive of a statement is equivalent to the statement itself.

A truth table is helpful in visualizing all of these logical relations. The table is filled in by considering all possible combinations of true and false for P and Q and then filling in the results for the various connectors mentioned above.