Question

Discrete question:
Give reasons for the logical equivalences in the following chain

Answer 1

\[p \rightarrow (q V r)\]

Answer 2

V is supposed to be 'or'

Answer 3

what do you mean by "give reasons" ?

Answer 4

Here I just took a picture of the question, it was too hard to try to type

Answer 5

p -> q is equivalent to ~p or q. This is from the truth table. I don't know if it actually has a name. So that's the reason for A

Answer 6

B) because disjunction is associate

Answer 7

C) is like take out the "not" using DeMorgan's law

Answer 8

D) i believe that's the double negative law. ~~P is the same as P

Answer 9

E) same reason as A

Answer 10

thank you!!!!!

Answer 11

no prob