- #1
_E_
- 4
- 0
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 S
Show R v S
Third One
1. ([P ^ Q] v R) ^ (~R v Q) -> (P -> Q)
Show ([P ^ Q] v R) ^ (~R v Q) -> (P -> Q)
Thanks.
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 S
Show R v S
Third One
1. ([P ^ Q] v R) ^ (~R v Q) -> (P -> Q)
Show ([P ^ Q] v R) ^ (~R v Q) -> (P -> Q)
Thanks.
Last edited: