# data[].attributes.body
describe the property being used
if OC = SS, then SS = OC

symmetric prop

# data[].attributes.body
describe the property being used.
if B=A & A=C, then B=C

transitive prop.

# data[].attributes.body
write the conditional, converse, inverse, and contrapositive for the statement.
conditional: if m<A=15, then <A is acute
inverse: if m<A does not =15, then <A is not acute
contrapositive:  if <A is not acute, then m<A does not equal 15

# data[].attributes.body
if hypothesis of a true conditional is true, then conclusion is true

# data[].attributes.body
allows you to state a conclusion for 2 true conditional statements

# data[].attributes.body
involves writing reasoned,logical explanations that use definitions

# data[].attributes.body
if a=b, then b can replace a in any expression

# data[].attributes.body
if A=b, & b-=c then a=c

# data[].attributes.body
if a=b , then b=a

# data[].attributes.body
a=a

# data[].attributes.body
if a=b & c does not =0, then a/c = b/c

# data[].attributes.body
if a=b, then axc= bxc

# data[].attributes.body
if a=b, then a-c= b-c

# data[].attributes.body
if a=b, then a+c=b

# data[].attributes.body
an example that shows a conjecture is incorrect

# data[].attributes.body
conclusion you reach using inductive reasoning

# data[].attributes.body
switching the hypothesis and conclusion & negating both

# data[].attributes.body
negating both the hypothesis and conclusion

# data[].attributes.body
switching the hypothesis 7 conclusion of a conditional

# data[].attributes.body
if-then statement following 'then'

# data[].attributes.body
if- then statement following 'if'