Deduktionstheorem
Deduktionstheorem, ein für viele Ableitbarkeitsrelationen in der formalen Logik gültiger Satz.
(11 von 62 Wörtern)
Möchten Sie Zugriff auf den vollständigen Artikelinhalt?
Quellenangabe
Brockhaus,
Deduktionstheorem.
http://brockhaus.at/ecs/enzy/article/deduktionstheorem