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

 0 $\begin{array}{c}\begin{array}{c}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ inference rule with conclusion upper X and 1 premise afleidingsreël met gevolgtrekking hoofletter X en 1 uitgangspunt 1 $\begin{array}{c}\begin{array}{c}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ inference rule with conclusion upper X and 1 premise afleidingsreël met gevolgtrekking hoofletter X en 1 uitgangspunt 2 $\begin{array}{c}\begin{array}{c}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ inference rule with conclusion upper X and 1 premise afleidingsreël met gevolgtrekking hoofletter X en 1 uitgangspunt 3 $\begin{array}{c}\begin{array}{c}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}\text{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 $\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}$ axiom upper A aksioom hoofletter A 5 $\phantom{\rule{.5ex}{0ex}}\phantom{\rule{.5ex}{0ex}}$ empty axiom leë aksioom 6 $\begin{array}{c}\begin{array}{c}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}\text{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{array}{c}\begin{array}{ccc}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}B\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}\text{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{array}{c}\begin{array}{ccccc}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}B\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}C\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}\text{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 $\text{N}\begin{array}{c}\begin{array}{c}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ 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 $\text{N}\begin{array}{c}\begin{array}{ccc}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}B\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ 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 $\text{N}\begin{array}{c}\begin{array}{ccccc}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}B\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}C\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ 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{array}{c}\begin{array}{c}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ 1st premise axiom upper A 1. uitgangspunt aksioom hoofletter A 13 $\begin{array}{c}\begin{array}{ccc}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}B\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ 1st premise axiom upper A 2nd premise axiom upper B 1. uitgangspunt aksioom hoofletter A 2. uitgangspunt aksioom hoofletter B 14 $\begin{array}{c}\begin{array}{ccccc}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}B\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}C\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ 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