Waste less time on Facebook — follow Brilliant.

Inference Method in Logic

I have an assignment from my lecturer and I'm not sure with my answer. Could you share your answer so I can compare and check with my answer... Thanks for helping...

Question: Prove that:

1st Statement : p -> q v r 2nd Statement : ~q v ~r Conclusion : ~p v ~r

is invalid!!!

My last prove is : ~(~p v r) v (~p v q). Is it true?

Note by Jeffry Angtoni
2 years, 8 months ago

No vote yet
1 vote


There are no comments in this discussion.


Problem Loading...

Note Loading...

Set Loading...