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(adsbygoogle = window.adsbygoogle || []).push({});

Given that(P v Q ) -> R , R <-> S , (NOT)Sare allTRUE. 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 dont see what i can do after this

any suggestions???? cheers

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Set Theory

**Physics Forums | Science Articles, Homework Help, Discussion**