命題論理における真理の木の方法の一解釈

スポンサーリンク

概要

• 論文の詳細を見る

• The Method of Analytic Tableaux for propositional logic is very simple and easy to master even for beginners. However, the proof of soundness or completeness of the method is not easy to understand for beginners. In this paper, we present a formalization where the proof of these are straightforward. In the formalization, we interpret the tree of truth as a 2-dimentional expression of a logical formula.

• 文教大学の論文

著者

• 松原 康夫

  文教大学情報学部

関連論文

• 数独の推論規則と難易度に関する考察
• 教材としてのコンピュータグラフィックス
• 命題論理における真理の木の方法の一解釈
• 並列処理とプログラム図式
• ADF(∞) is also equivalent to EF
• 単一化文法に基づく自然言語解析用オブジェクトクラス群「言の葉」
• 構造的音楽記述言語「楽」とそのコンパイラの実現法 : MIDIによる計算機音楽研究用システム
• プログラミングに関する認知科学的研究(2)
• プログラミングに関する認知科学的研究(1)
• 仮想空間における折り紙シミュレーション
• データフロー図式クラスの表現能力 : タイミングに依存するデータフロー図式

もっと見る 閉じる

スポンサーリンク