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:
Ah, maybe I have it. The statement "!R. ((P /\ Q) \/ R)" could be
"For every proposition R, (P /\ Q) is true or R is true."
This archive was generated by a fusion of
Pipermail (Mailman edition) and