Duden Das große Fremdwörterbuch
- . A B C [D] E F G H I J K L M N O P Q R S T U V W X Y Z Œ
Deduktionstheorem
De|duk|ti|ons|the|o|rem das; -s: ein für viele Ableitbarkeitsrelationen in der formalen Logik gültiger Satz.
Sie können einen Link zu dem Wort setzen

Ansicht: Deduktionstheorem