MyWikiBiz, Author Your Legacy — Friday September 19, 2025
Jump to navigationJump to search
6 bytes added
, 21:03, 28 January 2009
Line 1,471: |
Line 1,471: |
| | | | | |
| | align="left" | <math>\text{G2b}_{1}.\!</math> | | | align="left" | <math>\text{G2b}_{1}.\!</math> |
− | | <math>\upharpoonleft \operatorname{neither}~ s ~\operatorname{nor}~ t \upharpoonright</math> | + | | <math>\upharpoonleft {}^{_\sim} P ~\cap~ {}^{_\sim} Q \upharpoonright</math> |
| | <math>=\!</math> | | | <math>=\!</math> |
− | | <math>(\upharpoonleft s \upharpoonright)(\upharpoonleft t \upharpoonright)</math> | + | | <math>(\upharpoonleft {}^{_\sim} P \upharpoonright)(\upharpoonleft {}^{_\sim} Q \upharpoonright)</math> |
| | <math>=\!</math> | | | <math>=\!</math> |
| | <math>(p)(q)\!</math> | | | <math>(p)(q)\!</math> |