Graphics Reference
In-Depth Information
7
proposition
justification
b
a
0
a
b
algebra
b
a
is positive
a
b
definition
(
b
a
) is positive
a
bra
b
is positivealge
b
a
definition
b
a
0or
b
a
is positiveor
trichotomy
(
b
a
) is positive
b
a
0or
a
b
or
b
a
from above
8
proposition
justification
a
b
given
finition
b
a
is positivede
(
b
c
)
(
a
c
) is positivealge
bra
a
c
b
c
definition
9
proposition
justification
a
b
given
finition
b
a
is positivede
b
c
given
finition
c
b
is positivede
(
b
a
)
(
c
b
) is positiveclosure
r addition
unde
bra
c
a
is positivealge
a
c
definition
10
proposition
justification
a
b
given
b
a
is positivede
finition
c
d
given
finition
d
c
is positivede
(
b
a
)
(
d
c
) is positiveclosure
r addition
unde
(
b
d
)
(
a
c
) is positivealge
bra
a
c
b
d
definition