MyWikiBiz, Author Your Legacy — Wednesday September 10, 2025
Jump to navigationJump to search
1,079 bytes removed
, 01:30, 23 August 2009
| Line 509: |
Line 509: |
| | <p><math>\mathcal{L}_4</math></p> | | <p><math>\mathcal{L}_4</math></p> |
| | <p><math>\text{Cactus}</math></p> | | <p><math>\text{Cactus}</math></p> |
| − | | width="25%" |
| |
| − | <p><math>\mathcal{L}_5</math></p>
| |
| − | <p><math>\text{English}</math></p>
| |
| − | | width="15%" |
| |
| − | <p><math>\mathcal{L}_6</math></p>
| |
| − | <p><math>\text{Ordinary}</math></p>
| |
| | |- style="background:#f0f0ff" | | |- style="background:#f0f0ff" |
| | | | | | |
| | | align="right" | <math>p\colon\!</math> | | | align="right" | <math>p\colon\!</math> |
| | | <math>1~1~0~0\!</math> | | | <math>1~1~0~0\!</math> |
| − | |
| |
| − | |
| |
| | | | | | |
| | |- style="background:#f0f0ff" | | |- style="background:#f0f0ff" |
| Line 526: |
Line 518: |
| | | align="right" | <math>q\colon\!</math> | | | align="right" | <math>q\colon\!</math> |
| | | <math>1~0~1~0\!</math> | | | <math>1~0~1~0\!</math> |
| − | |
| |
| − | |
| |
| | | | | | |
| | |- | | |- |
| Line 601: |
Line 591: |
| | \\[4pt] | | \\[4pt] |
| | (p~~q) | | (p~~q) |
| − | \end{matrix}</math>
| |
| − | |
| |
| − | <math>\begin{matrix}
| |
| − | \text{false}
| |
| − | \\[4pt]
| |
| − | \text{neither}~ p ~\text{nor}~ q
| |
| − | \\[4pt]
| |
| − | q ~\text{without}~ p
| |
| − | \\[4pt]
| |
| − | \text{not}~ p
| |
| − | \\[4pt]
| |
| − | p ~\text{without}~ q
| |
| − | \\[4pt]
| |
| − | \text{not}~ q
| |
| − | \\[4pt]
| |
| − | p ~\text{not equal to}~ q
| |
| − | \\[4pt]
| |
| − | \text{not both}~ p ~\text{and}~ q
| |
| − | \end{matrix}</math>
| |
| − | |
| |
| − | <math>\begin{matrix}
| |
| − | 0
| |
| − | \\[4pt]
| |
| − | \lnot p \land \lnot q
| |
| − | \\[4pt]
| |
| − | \lnot p \land q
| |
| − | \\[4pt]
| |
| − | \lnot p
| |
| − | \\[4pt]
| |
| − | p \land \lnot q
| |
| − | \\[4pt]
| |
| − | \lnot q
| |
| − | \\[4pt]
| |
| − | p \ne q
| |
| − | \\[4pt]
| |
| − | \lnot p \lor \lnot q
| |
| | \end{matrix}</math> | | \end{matrix}</math> |
| | |- | | |- |
| Line 710: |
Line 664: |
| | \\[4pt] | | \\[4pt] |
| | ((~)) | | ((~)) |
| − | \end{matrix}</math>
| |
| − | |
| |
| − | <math>\begin{matrix}
| |
| − | p ~\text{and}~ q
| |
| − | \\[4pt]
| |
| − | p ~\text{equal to}~ q
| |
| − | \\[4pt]
| |
| − | q
| |
| − | \\[4pt]
| |
| − | \text{not}~ p ~\text{without}~ q
| |
| − | \\[4pt]
| |
| − | p
| |
| − | \\[4pt]
| |
| − | \text{not}~ q ~\text{without}~ p
| |
| − | \\[4pt]
| |
| − | p ~\text{or}~ q
| |
| − | \\[4pt]
| |
| − | \text{true}
| |
| − | \end{matrix}</math>
| |
| − | |
| |
| − | <math>\begin{matrix}
| |
| − | p \land q
| |
| − | \\[4pt]
| |
| − | p = q
| |
| − | \\[4pt]
| |
| − | q
| |
| − | \\[4pt]
| |
| − | p \Rightarrow q
| |
| − | \\[4pt]
| |
| − | p
| |
| − | \\[4pt]
| |
| − | p \Leftarrow q
| |
| − | \\[4pt]
| |
| − | p \lor q
| |
| − | \\[4pt]
| |
| − | 1
| |
| | \end{matrix}</math> | | \end{matrix}</math> |
| | |} | | |} |
