Deduktionstheorem, ein für viele Ableitbarkeitsrelationen in der formalen Logik gültiger Satz.

(11 von 60 Wörtern)
Möchten Sie Zugriff auf den vollständigen Artikelinhalt?

Quellenangabe
Brockhaus, Deduktionstheorem. http://brockhaus.de/ecs/enzy/article/deduktionstheorem