演绎定理

Deduktionstheorem (Math)

yan3 yi4 ding4 li3

Bedeutung / Übersetzung

Deduktionstheorem (Math)

Chinesische Zeichen

演绎定理

Langzeichen

演繹定理