2023-01-26から1日間の記事一覧

証明関係、混乱の原因

次を区別しなくてはならない。 命題 証明〈証拠〉 判断〈主張〉シーケント 質問〈問題 | 問い合わせ〉シーケント フォワードリーズニング(推論ルール含む) バックワードリーズニング(バックワード推論ルール含む) 定理は、証拠〈証明〉を引数として証拠…