The Proof Page
by D. A. Kouba
Section 1.1- Propositions and Connectives; Truth Tables
In the study of mathematics, one often must begin with definitions and assumptions (rules of the
game), which are assumed to be true. The process of deductive reasoning
The Proof Page
by D. A. Kouba
Section 1.2- Conditionals and Biconditionals;
Mathematically Equivalent Statements
In this section we will introduce two more mathematical connectives. This will allow for a wider
and more useful range of propositional forms.
he Proof Page
by D. A. Kouba
Section 1.3- Universal Quantifier (For all x .); Existential
Quantifier (There exists x .); Unique Existential Quantifier
(There exists a unique x .)
: A sentence containing one or more variables is called an
.
: An open sente
he Proof Page
by D. A. Kouba
Section 1.4- Bacic Proof Methods I- Direct Proof, Proof by
Cases, and Proof by Working Backward
In this section we will introduce specific types or methods of proof of mathematical statements.
They include direct proof, proof
Suepa XB. W X:| or XO orX:(,
%:E[ X:" cfw_Max x3=x 0M X62 SwatA
ILXZO WA x3:)< and XEZ 5x64, So BEA
Ohm: A55
Pm Samara x644 w x62 and
X3:X.
By memes 0F r/ We,
6cfw_ Vaducf O'F hOhZem numbed [5 dww
mange/o,
SO )cfw_3 or X-(:o orXH70
So X10 0( H or L
f9 XB.