User:Mathieu/Test

From Event-B
< User:Mathieu
Revision as of 16:03, 2 September 2008 by imported>Mathieu (New page: <center> {| |<math>(-E)*\ldots*(-F)\;==\; E*\ldots*F </math> (if an even number of -) |- |<math>(-E)*\ldots*(-F)\;==\; -\,(E*\ldots*F) </math> (if an odd number of -) |} <math> \frac{...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search
(-E)*\ldots*(-F)\;==\; E*\ldots*F (if an even number of -)
(-E)*\ldots*(-F)\;==\; -\,(E*\ldots*F) (if an odd number of -)

\frac{\ }{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}

\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}} HYP
Retrieved from ‘https://wiki.event-b.org/index.php?title=User:Mathieu/Test&oldid=10795’