推論

推論とは（inference），ある命題（proposition）から他の命題（proposition）のつながり方に対する判断のこと．


Mathematics is the language with which God has written the universe.





















命題論理 - 推論 - 命題 - 実数 real number - 値域 range