- #1
supasupa
- 24
- 0
I want to know if there is a way to prove this without using a truth table... i have begun it but unsure if this is correct...any suggestions would be great
Given that (P v Q ) -> R , R <-> S , (NOT)S are all TRUE. Show that (NOT)P is true.
I have started with (NOT)((P v Q ) V R) which is the same as (P v Q ) -> R but don't see what i can do after this
any suggestions? cheers
Given that (P v Q ) -> R , R <-> S , (NOT)S are all TRUE. Show that (NOT)P is true.
I have started with (NOT)((P v Q ) V R) which is the same as (P v Q ) -> R but don't see what i can do after this
any suggestions? cheers