■基本アイデア 論理を一種の機械としてしてイメージする。■この機械の特徴 真理を入力すると真理が出力される（真理保存性）■使用上の注意 出力（結論）の正しさを判定するためには、入力（前提）に注目すること■対応 前提ー導出ー結論 入力ーロンリ機械ー出…