ろん‐しょう【論証】
［名］(スル)ある与えられた判断が真であることを妥当な論拠を挙げて推論すること。その論拠が公理・公準などか、または経験的事実かによって演繹(えんえき)的・帰納的の別があり、また帰謬(きびゅう)法...
ろんり‐えんざん【論理演算】
《logical operation／logical connection》記号論理学の定義に従って論理式を演算し、推論・判断などの命題の真偽を求めること。四則演算以外の、論理積・論理和・否定な...
わり‐だ・す【割（り）出す】
［動サ五（四）］ １ 計算して結果を出す。算出する。「坪単価を—・す」 ２ ある根拠に基づいて推論し、結論を導き出す。「遺留品から犯人を—・す」
