Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Negation and proofs by contradiction
15 views
Skip to first unread message
Helmut
Feb 27, 2012, 2:34:14 PM2/27/12
to
A new blog entry http://softwareverificaton.wordpress.com/2012/02/27/negation-and-proofs-by-contradiction
has beed created with continues the description of Modern Eiffel's
proof engine.
This blog entry focuses on the introduction of negation and it's
axioms into the class BOOLEAN and presents a rich set of proofs.
This entry completes the use of the proof engine for propositional
calculus. The next entries will focus more on real calculations using
inductive data types.
has beed created with continues the description of Modern Eiffel's
proof engine.
This blog entry focuses on the introduction of negation and it's
axioms into the class BOOLEAN and presents a rich set of proofs.
This entry completes the use of the proof engine for propositional
calculus. The next entries will focus more on real calculations using
inductive data types.
0 new messages