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

And the negation of the result?

Thanks in advance,.

Printable View

- Apr 17th 2013, 03:26 PMdoctorpiCausal form
What is the causal form of ((

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

And the negation of the result?

Thanks in advance,. - Apr 17th 2013, 03: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? - Apr 17th 2013, 04: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. - Apr 17th 2013, 04:30 PMemakarovRe: Causal form