Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Directory:Jon Awbrey/MathJax Problems
(view source)
Revision as of 16:56, 8 November 2016
94 bytes removed
,
16:56, 8 November 2016
try this
Line 22:
Line 22:
~ p
~ p
\\
\\
−
\overline{
15:22, 6 November 2016 (UTC)15:22, 6 November 2016 (UTC)15:22, 6 November 2016 (UTC)
}
+
\overline{
~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
}
\\
\\
~ q
~ q
Line 40:
Line 40:
~ p
~ p
\\
\\
−
=
\
!=
\
!=\!=\!=\!=\!=\!=
+
\
overline{
\
underline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}
\\
\\
~ p ~ q
~ p ~ q
Line 51:
Line 51:
|
|
<math>\begin{array}{l}
<math>\begin{array}{l}
−
~ \textit{Expression
~
1}
+
~ \textit{Expression 1}
\\
\\
−
~ \textit{Expression
~
2}
+
~ \textit{Expression 2}
\\
\\
−
\overline{
15:22, 6 November 2016 (UTC)15:22, 6 November 2016 (UTC)15:22, 6 November 2016 (UTC)15:22, 6 November 2016 (UTC)
}
+
\overline{
~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
}
\\
\\
−
~ \textit{Expression
~
3}
+
~ \textit{Expression 3}
\end{array}</math>
\end{array}</math>
|}
|}
Line 65:
Line 65:
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
|
|
−
<math>\textit{Premiss
~
1}, \textit{Premiss
~
2} ~\vdash~ \textit{Conclusion}.\!</math>
+
<math>\textit{Premiss 1}, \textit{Premiss 2} ~\vdash~ \textit{Conclusion}.\!</math>
|}
|}
Line 72:
Line 72:
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
|
|
−
From <math>{\textit{Expression
~
1}}\!</math> and <math>{\textit{Expression
~
2}}\!</math> infer <math>{\textit{Expression
~
3}}.\!</math>
+
From <math>{\textit{Expression 1}}\!</math> and <math>{\textit{Expression 2}}\!</math> infer <math>{\textit{Expression 3}}.\!</math>
|}
|}
Jon Awbrey
12,080
edits