数理論理学（数学基礎論）　その11at MATH
数理論理学（数学基礎論）　その11 - 暇つぶし2ch960:１３２人目の素数さん
17/11/01 00:20:38.66 gL9JwERl.net
たとえば、背理法を用いて何か証明するとき、わざわざ推論規則に当てはめてシークエント式の書き換えをしたりしてないですよね？
論理構造を形式化できていないということです

次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch