What is the causal form of ((p ⇒q) ⇒ (p ⇒r))

And the negation of the result?

Thanks in advance,.

Printable View

- April 17th 2013, 02:26 PMdoctorpiCausal form
What is the causal form of ((

*p ⇒**q) ⇒ (**p ⇒**r))*

And the negation of the result?

Thanks in advance,. - April 17th 2013, 02:57 PMemakarovRe: Causal form
Do you mean

*clausal*form, i.e., a conjunctive normal form?

What have you tried to find it, and what exactly is your difficulty? - April 17th 2013, 03:03 PMdoctorpiRe: Causal form
(p=>q)=>(p=>r)

(¬pvq)=>(¬pvr)

¬(¬pvq)v(¬pvr)

(p^¬q)v(¬pvr)

.

And here is where I'm not sure.

With the result I have to negate it because is a conclusion to include in a Resolution, and I'm not sure again of the result. - April 17th 2013, 03:30 PMemakarovRe: Causal form