User:Mathieu/Test: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m 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{... |
imported>Mathieu mNo edit summary |
||
| Line 15: | Line 15: | ||
|} | |} | ||
{{InfRule|HYP|<math>\frac{}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}} | |||
</center> | </center> | ||
Revision as of 09:58, 4 September 2008
 (if an even number of -)
|
 (if an odd number of -)
|
|
HYP |
|
HYP |
