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