MyWikiBiz, Author Your Legacy — Thursday November 07, 2024
Jump to navigationJump to search
94 bytes removed
, 16:56, 8 November 2016
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> |
| |} | | |} |
| | | |