12,089
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 17:17, 13 August 2009
, 17:17, 13 August 2009→Outline Format: spacing
|
|
<math>\begin{array}{l}
<math>\begin{array}{l}
p \Rightarrow q
~ p \Rightarrow q
\\
\\
p
~ p
\\
\\
\overline{~~~~~~~~~~~~~~~}
\overline{~~~~~~~~~~~~~~~}
\\
\\
q
~ q
\end{array}</math>
\end{array}</math>
|-
|-
|
|
<math>\begin{array}{l}
<math>\begin{array}{l}
p \Rightarrow q
~ p \Rightarrow q
\\
\\
p
~ p
\\
\\
=\!=\!=\!=\!=\!=\!=\!=
=\!=\!=\!=\!=\!=\!=\!=
\\
\\
p~q
~ p ~ q
\end{array}</math>
\end{array}</math>
|}
|}
|
|
<math>\begin{array}{l}
<math>\begin{array}{l}
p \le q
~ p \le q
\\
\\
q \le r
~ q \le r
\\
\\
\overline{~~~~~~~~~~~~~~~}
\overline{~~~~~~~~~~~~~~~}
\\
\\
p \le r
~ p \le r
\end{array}</math>
\end{array}</math>
|-
|-
|
|
<math>\begin{array}{l}
<math>\begin{array}{l}
p \le q
~ p \le q
\\
\\
q \le r
~ q \le r
\\
\\
=\!=\!=\!=\!=\!=\!=\!=
=\!=\!=\!=\!=\!=\!=\!=
\\
\\
p \le q \le r
~ p \le q \le r
\end{array}</math>
\end{array}</math>
|}
|}