The Truth Table Formulation of Propositional Logic

被引：0
|
作者：
Haze, Tristan Grotvedt [1 ]
机构：
[1] Univ Melbourne, Faulty Arts, Room 659,Level 6 North Wing,Bldg 148,Arts West, Victoria 3010, Australia
来源：
TEOREMA | 2023年 / 42卷 / 01期
关键词：
Propositional Logic; Truth Tables; Philosophy of Logic; Symbolism; Notation; Formal Proof;
D O I：
暂无
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
Developing a suggestion of Wittgenstein, I provide an account of truth tables as formulas of a formal language. I define the syntax and semantics of TPL (the language of Tabular Propositional Logic) and develop its proof theory. Single formulas of TPL, and finite groups of formulas with the same top row and TF matrix (depiction of possible valuations), are able to serve as their own proofs with respect to metalogical properties of interest. The situation is different, however, for groups of formulas whose top rows differ.
引用
收藏
页码：123 / 147
页数：25
相关论文
共 50 条
  • [41] UNDERSTANDING SIMPLE LOGIC-CIRCUITS .1. TRUTH TABLE
    不详
    ELECTRICAL REVIEW, 1976, 199 (03): : 43 - 43
  • [42] Contraction in Propositional Logic
    Caridroit, Thomas
    Konieczny, Sebastien
    Marquis, Pierre
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2015, 2015, 9161 : 186 - 196
  • [43] Propositional discourse logic
    Sjur Dyrkolbotn
    Michał Walicki
    Synthese, 2014, 191 : 863 - 899
  • [44] Propositional superposition logic
    Tzouvaras, Athanassios
    LOGIC JOURNAL OF THE IGPL, 2018, 26 (01) : 149 - 190
  • [45] PROPOSITIONAL LOGIC PROGRAMMING
    TYUGU, EH
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1989, 8 (04): : 357 - 368
  • [46] Propositional discourse logic
    Dyrkolbotn, Sjur
    Walicki, Michal
    SYNTHESE, 2014, 191 (05) : 863 - 899
  • [47] Plasticity of the truth table of low-leakage genetic logic gates
    Smith, S.
    Grima, R.
    PHYSICAL REVIEW E, 2018, 98 (06)
  • [48] A Fault Simulation Method Based on Mutated Truth Table of Logic Gates
    Dai Jinling
    Xu Aiqiang
    PROCEEDINGS OF 2016 IEEE INTERNATIONAL CONFERENCE ON INTEGRATED CIRCUITS AND MICROSYSTEMS (ICICM), 2016, : 28 - 32
  • [49] An organic jelly made fractal logic gate with an infinite truth table
    Ghosh, Subrata
    Fujita, Daisuke
    Bandyopadhyay, Anirban
    SCIENTIFIC REPORTS, 2015, 5
  • [50] PHILOSOPHICAL LOGIC IN A FRAMEWORK OF PROPOSITIONAL LOGIC
    Damboeck, Christian
    LOGIQUE ET ANALYSE, 2009, (205) : 21 - 37
12345