- #1

- 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: