MyWikiBiz, Author Your Legacy — Friday November 08, 2024
Jump to navigationJump to search
33 bytes added
, 03:54, 3 November 2008
Line 352: |
Line 352: |
| </pre> | | </pre> |
| | | |
− | To see why the ''Dispersion Rule'' holds, look at it this way: If ''x'' is true, then the presence of ''x'' makes no difference on either side of the equation, but if ''x'' is false, then both sides of the equation are false. | + | To see why the ''Dispersion Rule'' holds, look at it this way: If <math>x\!</math> is true, then the presence of <math>x\!</math> makes no difference on either side of the equation, but if <math>x\!</math> is false, then both sides of the equation are false. |
| | | |
| Here is a proof sketch for the ''Case Analysis-Synthesis Theorem'' (CAST): | | Here is a proof sketch for the ''Case Analysis-Synthesis Theorem'' (CAST): |