- #1

- 77

- 0

## Homework Statement

P v Q -> R

## Homework Equations

Negation of the statement

## The Attempt at a Solution

P v Q ^(and) ~(not)R

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter chuy52506
- Start date

- #1

- 77

- 0

P v Q -> R

Negation of the statement

P v Q ^(and) ~(not)R

- #2

lanedance

Homework Helper

- 3,304

- 2

let S = (P and Q )

then negating

S -> R

gives

S and (~R)

so you have

(P or Q) and (~R)

then negating

S -> R

gives

S and (~R)

so you have

(P or Q) and (~R)

- #3

Mark44

Mentor

- 34,896

- 6,638

One thing needs an adjustment.let S = (P and Q )

Let S = (P or Q)

In the OP, the statement was P v Q -> R, which is (P OR Q) ==> R

then negating

S -> R

gives

S and (~R)

so you have

(P or Q) and (~R)

- #4

lanedance

Homework Helper

- 3,304

- 2

Cheers, mis-editing ;)

Share: