Bokmal Mathspeak Inference rules.

Bokmal Mathspeak Inference rules. Locale: nb, Style: Verbose.

0	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	inference rule with conclusion upper X and 1 premise	slutningsregel med konklusjon stor bokstav X og 1 premiss
1	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	inference rule with conclusion upper X and 1 premise	slutningsregel med konklusjon stor bokstav X og 1 premiss
2	$\begin{matrix} \begin{matrix} \end{matrix} \\ X \end{matrix}$	inference rule with conclusion upper X and 1 premise	slutningsregel med konklusjon stor bokstav X og 1 premiss
3	$\begin{matrix} \begin{matrix} \end{matrix} \\ X \end{matrix} N$	inference rule label upper N with conclusion upper X and 1 premise	slutningsregel etikett stor bokstav N med konklusjon stor bokstav X og 1 premiss
4	$A$	axiom upper A	aksiom stor bokstav A
5		empty axiom	tomt aksiom
6	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix} N$	inference rule label upper N with conclusion upper X and 1 premise	slutningsregel etikett stor bokstav N med konklusjon stor bokstav X og 1 premiss
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	slutningsregel etikett stor bokstav N med konklusjon stor bokstav X og 2 premisser
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	slutningsregel etikett stor bokstav N med konklusjon stor bokstav X og 3 premisser
9	$N \begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	inference rule label upper N with conclusion upper X and 1 premise	slutningsregel etikett stor bokstav N med konklusjon stor bokstav X og 1 premiss
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	slutningsregel etikett stor bokstav N med konklusjon stor bokstav X og 2 premisser
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	slutningsregel etikett stor bokstav N med konklusjon stor bokstav X og 3 premisser
12	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	1st premise axiom upper A	1. premiss aksiom stor bokstav A
13	$\begin{matrix} \begin{matrix} A & B \end{matrix} \\ X \end{matrix}$	1st premise axiom upper A 2nd premise axiom upper B	1. premiss aksiom stor bokstav A 2. premiss aksiom stor bokstav 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. premiss aksiom stor bokstav A 2. premiss aksiom stor bokstav B 3. premiss aksiom stor bokstav C