Aussagenlogik/Ableitungskalkül/Konjunktion/Fakt

Aus Wikiversity

Für ist

und