als logiker muss man nix auswendig lernen, man leite sich das benötigte wissen einfach aus den axiomen her.
ok, naja doch, man muss die axiome kennen sowie eine logik mit ihren ableitungsregeln.