12,136
edits
Changes
→Differential Logic: cleanup
|+ '''Table 1. Propositional Forms on Two Variables'''
|+ '''Table 1. Propositional Forms on Two Variables'''
|- style="background:paleturquoise"
|- style="background:paleturquoise"
! style="width:15%" | L<sub>1</sub>
! width="15%" | L<sub>1</sub>
! style="width:15%" | L<sub>2</sub>
! width="15%" | L<sub>2</sub>
! style="width:15%" | L<sub>3</sub>
! width="15%" | L<sub>3</sub>
! style="width:15%" | L<sub>4</sub>
! width="15%" | L<sub>4</sub>
! style="width:25%" | L<sub>5</sub>
! width="25%" | L<sub>5</sub>
! style="width:15%" | L<sub>6</sub>
! width="15%" | L<sub>6</sub>
|- style="background:paleturquoise"
|- style="background:paleturquoise"
|
|
|+ <math>\text{Table A1.}~~\text{Propositional Forms on Two Variables}</math>
|+ <math>\text{Table A1.}~~\text{Propositional Forms on Two Variables}</math>
|- style="background:#f0f0ff"
|- style="background:#f0f0ff"
| style="width:15%" |
| width="15%" |
<p><math>\mathcal{L}_1</math></p>
<p><math>\mathcal{L}_1</math></p>
<p><math>\text{Decimal}</math></p>
<p><math>\text{Decimal}</math></p>
| style="width:15%" |
| width="15%" |
<p><math>\mathcal{L}_2</math></p>
<p><math>\mathcal{L}_2</math></p>
<p><math>\text{Binary}</math></p>
<p><math>\text{Binary}</math></p>
| style="width:15%" |
| width="15%" |
<p><math>\mathcal{L}_3</math></p>
<p><math>\mathcal{L}_3</math></p>
<p><math>\text{Vector}</math></p>
<p><math>\text{Vector}</math></p>
| style="width:15%" |
| width="15%" |
<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>
| style="width:25%" |
| width="25%" |
<p><math>\mathcal{L}_5</math></p>
<p><math>\mathcal{L}_5</math></p>
<p><math>\text{English}</math></p>
<p><math>\text{English}</math></p>
| style="width:15%" |
| width="15%" |
<p><math>\mathcal{L}_6</math></p>
<p><math>\mathcal{L}_6</math></p>
<p><math>\text{Ordinary}</math></p>
<p><math>\text{Ordinary}</math></p>
|+ <math>\text{Table A1.}~~\text{Propositional Forms on Two Variables}</math>
|+ <math>\text{Table A1.}~~\text{Propositional Forms on Two Variables}</math>
|- style="background:#f0f0ff"
|- style="background:#f0f0ff"
| style="width:15%" |
| width="15%" |
<p><math>\mathcal{L}_1</math></p>
<p><math>\mathcal{L}_1</math></p>
<p><math>\text{Decimal}</math></p>
<p><math>\text{Decimal}</math></p>
| style="width:15%" |
| width="15%" |
<p><math>\mathcal{L}_2</math></p>
<p><math>\mathcal{L}_2</math></p>
<p><math>\text{Binary}</math></p>
<p><math>\text{Binary}</math></p>
| style="width:15%" |
| width="15%" |
<p><math>\mathcal{L}_3</math></p>
<p><math>\mathcal{L}_3</math></p>
<p><math>\text{Vector}</math></p>
<p><math>\text{Vector}</math></p>
| style="width:15%" |
| width="15%" |
<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>
| style="width:25%" |
| width="25%" |
<p><math>\mathcal{L}_5</math></p>
<p><math>\mathcal{L}_5</math></p>
<p><math>\text{English}</math></p>
<p><math>\text{English}</math></p>
| style="width:15%" |
| width="15%" |
<p><math>\mathcal{L}_6</math></p>
<p><math>\mathcal{L}_6</math></p>
<p><math>\text{Ordinary}</math></p>
<p><math>\text{Ordinary}</math></p>
|+ <math>\text{Table A2.}~~\text{Propositional Forms on Two Variables}</math>
|+ <math>\text{Table A2.}~~\text{Propositional Forms on Two Variables}</math>
|- style="background:#f0f0ff"
|- style="background:#f0f0ff"
| style="width:15%" |
| width="15%" |
<p><math>\mathcal{L}_1</math></p>
<p><math>\mathcal{L}_1</math></p>
<p><math>\text{Decimal}</math></p>
<p><math>\text{Decimal}</math></p>
| style="width:15%" |
| width="15%" |
<p><math>\mathcal{L}_2</math></p>
<p><math>\mathcal{L}_2</math></p>
<p><math>\text{Binary}</math></p>
<p><math>\text{Binary}</math></p>
| style="width:15%" |
| width="15%" |
<p><math>\mathcal{L}_3</math></p>
<p><math>\mathcal{L}_3</math></p>
<p><math>\text{Vector}</math></p>
<p><math>\text{Vector}</math></p>
| style="width:15%" |
| width="15%" |
<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>
| style="width:25%" |
| width="25%" |
<p><math>\mathcal{L}_5</math></p>
<p><math>\mathcal{L}_5</math></p>
<p><math>\text{English}</math></p>
<p><math>\text{English}</math></p>
| style="width:15%" |
| width="15%" |
<p><math>\mathcal{L}_6</math></p>
<p><math>\mathcal{L}_6</math></p>
<p><math>\text{Ordinary}</math></p>
<p><math>\text{Ordinary}</math></p>