05780563-n 'an inference that follows directly from the proof of another proposition';
Definitions
- 日语
-
他の命題の証明から直接導かれる推論
- 英语
-
an inference that follows directly from the proof of another proposition
Relations
External Links
Seen Lemmas:
demokratis;
More detail about the NTUMC+ Open Multilingual Wordnet (0.9)
This project is now integrated in the
Extended Open Multilingual Wordnet (0.9)
Maintainer:
Francis Bond
<bond@ieee.org>