Escolar Documentos
Profissional Documentos
Cultura Documentos
Proposition:
Proof:
6)
Moving
to
chapter
2
proposition
2.9.
This
proposition
demonstrates
the
power
of
propositional
logic.
Proposition:
Proof:
7)
Proposition
2.12
along
with
2.14
prove
to
be
extremely
important
to
the
rest
of
the
course
Knowing
that
=
is
an
equivalence
relation
and
X=Y
iff
(xXxY)
allowed
me
to
use
information
in
chapter
1
to
solve
many
proof
in
chapter
2.
Proposition:
Proof:
8)
Using
the
definition
2.41
we
were
able
to
prove
that
a
certain
equivalence
relation
exists
on
a
set
Z
in
exercise
2.42(a).
Im
including
this
proof
because
proving
that
something
is
equivalent
to
something
else
seems
to
be
a
central
theme
in
the
development
of
a
proof,
and
for
its
importance
in
proving
propositions
dealing
with
sets.
Proposition:
x
equivalent
relation
symbol
y
iff
x-y
is
divisible
by
5:
prove
this
is
an
equivalence
relation.
Proof:
9)
Im
including
the
forth
problem
on
our
midterm
because,
to
me,
it
demonstrates
how
I
approach
new
problems.
In
an
attempt
to
prove
the
proposition,
I
tried
to
rewrite
it
in
statement
form
and
show
that
by
applying
the
logic
from
chapter
one
we
could
prove
the
propositions
dealing
with
function.
Usually
when
Im
able
to
relate
the
different
part
of
information
into
a
whole,
I
can
solve
new
problem
with
ease.
Proposition:
Proof:
10)
Proposition
2.54
was
one
of
the
more
difficult
proofs
to
prove.
Just
being
able
to
prove
this
one
mostly
on
my
own
with
minimal
help
was
an
accomplishment.
Proposition:
Proof:
11)
My
first
attempt
at
proving
proposition
3.8
was
a
success,
um,
sort
of.
It
turned
out
to
be
incorrect
because
I
used
several
operation
that
we
hadnt
defined
yet.
After
some
coaxing
from
Dr.
Jones
I
was
able
to
produce
a
correct
proof.
Next
time
Ill
pay
more
attention
to
the
instructions.
Proposition:
Proof:
12)
Since
we
were
proving
proposition
in
groups
3.11
was
the
first
time
I
attempted
to
prove
a
proportion
using
induction.
Because
this
is
such
a
powerful
method
I
choose
to
include
it
in
my
15
results.
Proposition:
Proof:
13)
Proposition
3.14
was
presented
by
another
group,
but
I
thought
it
was
worth
putting
on
my
list.
It
shows
that
the
operation
+
is
associative,
it
doesnt
get
any
more
fundamental
than
that.
Proposition:
Proof:
14)
3.15
is
another
proof
which
I
presented
to
the
class,
it
was
the
first
time
that
in
which
I
had
to
write
two
proofs,
so
that
I
might
prove
one
proposition.
In
order
to
prove
proposition
3.15
a
second
proof
,
proving
that
1
is
commutative
is
necessary.
Proposition:
Proof:
15)
This
last
proposition
was
a
group
effort,
its
included
here
because
I
ran
out
of
options,
no
seriously,
it
included
here
because
of
it
complexity.
Its
a
clear
example
of
how
everything
we
have
study
relates
to
each
other.
Proposition:
Proof: