Afrikaans Mathspeak Inference rules.

Afrikaans Mathspeak Inference rules. Locale: af, Style: Verbose.

0	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	inference rule with conclusion upper X and 1 premise	afleidingsreël met gevolgtrekking hoofletter X en 1 uitgangspunt
1	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	inference rule with conclusion upper X and 1 premise	afleidingsreël met gevolgtrekking hoofletter X en 1 uitgangspunt
2	$\begin{matrix} \begin{matrix} \end{matrix} \\ X \end{matrix}$	inference rule with conclusion upper X and 1 premise	afleidingsreël met gevolgtrekking hoofletter X en 1 uitgangspunt
3	$\begin{matrix} \begin{matrix} \end{matrix} \\ X \end{matrix} N$	inference rule label upper N with conclusion upper X and 1 premise	afleidingsreël opskrif hoofletter N met gevolgtrekking hoofletter X en 1 uitgangspunt
4	$A$	axiom upper A	aksioom hoofletter A
5		empty axiom	leë aksioom
6	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix} N$	inference rule label upper N with conclusion upper X and 1 premise	afleidingsreël opskrif hoofletter N met gevolgtrekking hoofletter X en 1 uitgangspunt
7	$\begin{matrix} \begin{matrix} A & B \end{matrix} \\ X \end{matrix} N$	inference rule label upper N with conclusion upper X and 2 premises	afleidingsreël opskrif hoofletter N met gevolgtrekking hoofletter X en 2 uitgangspunte
8	$\begin{matrix} \begin{matrix} A & B & C \end{matrix} \\ X \end{matrix} N$	inference rule label upper N with conclusion upper X and 3 premises	afleidingsreël opskrif hoofletter N met gevolgtrekking hoofletter X en 3 uitgangspunte
9	$N \begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	inference rule label upper N with conclusion upper X and 1 premise	afleidingsreël opskrif hoofletter N met gevolgtrekking hoofletter X en 1 uitgangspunt
10	$N \begin{matrix} \begin{matrix} A & B \end{matrix} \\ X \end{matrix}$	inference rule label upper N with conclusion upper X and 2 premises	afleidingsreël opskrif hoofletter N met gevolgtrekking hoofletter X en 2 uitgangspunte
11	$N \begin{matrix} \begin{matrix} A & B & C \end{matrix} \\ X \end{matrix}$	inference rule label upper N with conclusion upper X and 3 premises	afleidingsreël opskrif hoofletter N met gevolgtrekking hoofletter X en 3 uitgangspunte
12	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	1st premise axiom upper A	1. uitgangspunt aksioom hoofletter A
13	$\begin{matrix} \begin{matrix} A & B \end{matrix} \\ X \end{matrix}$	1st premise axiom upper A 2nd premise axiom upper B	1. uitgangspunt aksioom hoofletter A 2. uitgangspunt aksioom hoofletter B
14	$\begin{matrix} \begin{matrix} A & B & C \end{matrix} \\ X \end{matrix}$	1st premise axiom upper A 2nd premise axiom upper B 3rd premise axiom upper C	1. uitgangspunt aksioom hoofletter A 2. uitgangspunt aksioom hoofletter B 3. uitgangspunt aksioom hoofletter C