Re: [isabelle] I want to print axiomatization info



On 11.07.2012 14:54, Gottfried Barrow wrote:
On 7/10/2012 2:14 AM, Lars Noschinski wrote:

So I reduce (!R. ((P --> Q --> R) --> R)) down to

!R. ((P /\ Q) \/ R)

This would be "!R. (~(P /\ Q) \/ R)"

I don't know. This is what I get:

Yes, sorry.

Ah, maybe I have it. The statement "!R. ((P /\ Q) \/ R)" could be
asserting this:

"For every proposition R, (P /\ Q) is true or R is true."

Exactly.

  -- Lars





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.