In this problem you will be implementing a theorem prover for a clause logic using the resolution principle. Well-formed sentences in this logic are clauses. As mentioned in class, instead of using the implicative form, we will be using the disjunctive form, since this form is more suitable for automatic manipulation. The syntax of sentences in the clause logic is thus

answer

a,b, and d

explanation

a reflection angle is more than

but less than;

an angle that measures

is a reflex angle.(true)

an angle that measures less than

is acute.(true)

provided we are considering angles greater or equal to zero.

an acute angle lies in the range.

an obtuse angle is less than 180° but more than 90°

an angle that measures 300° is obtuse (false)

an angle that measures 65° is an acute angle.(true)

the answer would be c:   ax + b = ax + c

step-by-step explanation:

the answer for your question is

step-by-step explanation:

60: 45 =12: 9 =4: 3 so the answer is 4: 3