What is the Negation of P v Q -> R?

[chuy52506]

Homework Statement

P v Q -> R

Homework Equations

Negation of the statement

The Attempt at a Solution

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

 

[lanedance]

let S = (P and Q )

then negating
S -> R

gives
S and (~R)

so you have
(P or Q) and (~R)

 

[Mark44]

let S = (P and Q )

One thing needs an adjustment.
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)

 

[lanedance]

Cheers, mis-editing ;)