以前示されたまたは実績のある真理から真理を派生するためのルール。は、ほとんどのエキスパート システムにおける推論エンジンの基盤となっています。を参照してください 'も' チェーンのルール、排中律、modus コネクショニスト推論、解像度。