演绎定理

Bedeutungen

[1] Math Deduktionstheorem

yǎn yì dìng lǐ ㄧㄢˇ ㄧˋ ㄉㄧㄥˋ ㄌㄧˇ