LOGICAL PRELIMINARIESOnly classical logic, as opposed to Hegelian dialectic synthesis, is used in this book: (a) ß is ß, (b) ß isnot notß and (c) α is either ß or notß, where α and ß are nouns (persons, places or things). This can be stated another way by writing a sentence called the thesis (α is ß) and another sentence called the antithesis (α is notß). Given any thesis and its antithesis, one is true, the other is false and the decision must be based on evidence. The concept of thesis/antithesis can be illuminated using the language of probability theory. Consider a sample space comprising the set of all possible choices or outcomes. Each individual choice is called a sample point. If the sample space is discrete  the sample points can be counted  then ß is any one, but not more than one, of the sample points. notß is the complement of ß which contains all sample points except ß. The thesis (α is ß) means α corresponds to the sample point ß. The antithesis (α is notß) means α corresponds to one of the sample points in notß. If the sample space is nondiscrete  noncountably infinite  then it has as many points as there are real numbers corresponding to the points on a line interval such as 0 <= x <= 1 denoted by γ. ß is any subinterval of γ and notß corresponds to all the points on γ not contained in ß. The thesis (α is ß) means α corresponds to one of the points in ß. The antithesis (α is notß) means α corresponds to one of the points in notß. This is the logic of absolutes and does not permit α to be a synthesis, which is neither, ß nor notß. Consider, for example, the thesis (my height is 1.70 to 1.71 meters) and its antithesis (my height is not1.70 to 1.71 meters). One is true; the other is false. No third option is rational such as (my height is 1.70 to 1.71 meters for some but not1.70 to 1.71 meters for others because “truth” is personal). A thesis may be stated in variant formats but can always be converted to the form (α Ω ß) where Ω represents any tense of the verb “to be.” For example, (Jesus did exist) can be converted to (Jesus was a man). The antithetical expression (α is notß) means α corresponds to a member of a set that does not include ß. If notß contains more than one member, the one member that is equivalent to α is not specified. For example, if α = 1 and ß = 2, the thesis and antithesis become (1 is 2) and (1 is not2). The antithesis states that 1 is a member of the set of all integers not including 2. This is a true statement but lacks the operational specificity of the analogous statements (1 isnot 2) and not(1 is 2). From an operational standpoint, the expression (α Ω notß) can be more usefully rephrased as (α Ωnot ß) or not(α Ω ß). This
can be illustrated, by analogy, using a programming language called
C. In this language, the symbols ==, != and ! represent the
“equal to” and “not equal to” relational operators and the “not”
logical operator respectively. The expressions (α != ß) and !(α == ß) always evaluate to the same integer: one if true and zero if false. However, the expression (α == !ß) may not evaluate to that same integer because !ß is always assigned the value one if ß = 0 and zero otherwise. For example, if α = 1 and ß = 0 then (α != ß), !(α == ß) and (α == !ß) evaluate to 1, 1 and 1 respectively. However, if α = 1 and ß = 2, the three expressions evaluate to 1, 1 and 0. To eliminate ambiguity, the antithesis will be expressed as (α Ωnot ß) or not(α Ω b) in the remainder of this book. Theses and antitheses can be joined by two other logical operators called “and” and “or” to form conjunctions and disjunctions respectively. If (x, y) represent two theses, two antitheses or a thesis and an antithesis, then the truth table for these logical operators is given by Table 1. Table 1. Truth table for “and” and “or” logical operators
Based on Table 1, not(x and y) = notx or noty and, similarly, not(x or y) = notx and noty. The equal sign indicates equivalence; both sides have the same truth table. If A and B represent logically combined theses and antitheses [e.g. A = x or (noty and z); B = u and notv], then A can be connected to B to form the sentence “if A then B” (conditional statement). In such a statement, A and B may be different ways of stating exactly the same idea. If so, the sentence “if A then B" is a type of tautology  it is always true. Conversely, if A and B express different ideas then the statement "if A then B" is regarded as true unless A is true and B is false. "If A then B" can also be expressed as "B if A" and "A only if B." The expression "A if and only if B" (biconditional statement) is true when both "if A then B" and its converse "if B then A" are true. Finally, the statement "if A then B" and its contrapositive "if notB then notA" are equivalent as shown in Table 2. Table 2. Truth table for conditional, biconditional and contrapositive statements
Although the formal concepts of negation, conjunction, disjunction, conditional and biconditional were not developed until the early 19th century, none of these concepts is counterintuitive and reasoning, based on them, is characteristic of historic documents such as the Christian Bible.

