Swedish Mathspeak Inference rules. Locale: sv, 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 slutledningsregel med slutsats stort X och 1 premisser 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 slutledningsregel med slutsats stort X och 1 premisser 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 slutledningsregel med slutsats stort X och 1 premisser 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 slutledningsregel etikett stort N med slutsats stort X och 1 premisser 4 $\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}$ axiom upper A axiom stort A 5 $\phantom{\rule{.5ex}{0ex}}\phantom{\rule{.5ex}{0ex}}$ empty axiom tomt axiom 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 slutledningsregel etikett stort N med slutsats stort X och 1 premisser 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 slutledningsregel etikett stort N med slutsats stort X och 2 premisser 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 slutledningsregel etikett stort N med slutsats stort X och 3 premisser 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 slutledningsregel etikett stort N med slutsats stort X och 1 premisser 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 slutledningsregel etikett stort N med slutsats stort X och 2 premisser 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 slutledningsregel etikett stort N med slutsats stort X och 3 premisser 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:a premiss axiom stort 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:a premiss axiom stort A 2:a premiss axiom stort 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:a premiss axiom stort A 2:a premiss axiom stort B 3:e premiss axiom stort C

Swedish Mathspeak Inference rules. Locale: sv, 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 slutledningsregel med slutsats stort X och 1 premisser 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 slutledningsregel med slutsats stort X och 1 premisser 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 slutledningsregel med slutsats stort X och 1 premisser 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 slutledningsregel etikett stort N med slutsats stort X och 1 premisser 4 $\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}$ axiom upper A axiom stort A 5 $\phantom{\rule{.5ex}{0ex}}\phantom{\rule{.5ex}{0ex}}$ empty axiom tomt axiom 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 slutledningsregel etikett stort N med slutsats stort X och 1 premisser 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 slutledningsregel etikett stort N med slutsats stort X och 2 premisser 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 slutledningsregel etikett stort N med slutsats stort X och 3 premisser 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 slutledningsregel etikett stort N med slutsats stort X och 1 premisser 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 slutledningsregel etikett stort N med slutsats stort X och 2 premisser 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 slutledningsregel etikett stort N med slutsats stort X och 3 premisser 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:a premiss axiom stort 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:a premiss axiom stort A 2:a premiss axiom stort 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:a premiss axiom stort A 2:a premiss axiom stort B 3:e premiss axiom stort C