Well DeMorgan's law is not allowed for these problems.
I am trying to use an indirect approach to solve them.
Also, (([P ^ Q] v R) ^ (~R v Q)) -> (P -> Q) is a Theorem.
So I have to solve it without premisis
(([P ^ Q] v R) ^ (~R v Q)) -> (P -> Q)
This is the correct one.
Sorry about the confusion.
Also I left something out here, I forgot the P.
The corrected question is.
1. ~(P v Q) -> R
2. ~S -> ~Q
3. ~P <--> ~S
Show R v S
Hi Everyone.
I need some help with a few logic problems. For some reason I just get stuck and can't continue betond the first steps.
First one
1. P -> (Q -> R)
2 S -> (Q -> T)
3. (Q ^ ~R) ^ ~T
4. ~P ^ ~S
Show ~P ^ ~S
Second One
1. ~(P v Q) -> R
2. ~S -> ~Q
3. ~ <--> ~S
4. R v...