05780563-n 'an inference that follows directly from the proof of another proposition';
Definitions
- Japanese
-
他の命題の証明から直接導かれる推論
- English
-
an inference that follows directly from the proof of another proposition
Relations
External Links
Seen Lemmas:
samar-samar;
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>