• Overview of Chinese core journals
  • Chinese Science Citation Database(CSCD)
  • Chinese Scientific and Technological Paper and Citation Database (CSTPCD)
  • China National Knowledge Infrastructure(CNKI)
  • Chinese Science Abstracts Database(CSAD)
  • JST China
  • SCOPUS
WU Jian. Propositional Form and Symbolization of PropositionJ. Journal of Beijing Institute of Technology (Social Sciences Edition), 2008, (1): 25-29.
Citation: WU Jian. Propositional Form and Symbolization of PropositionJ. Journal of Beijing Institute of Technology (Social Sciences Edition), 2008, (1): 25-29.

Propositional Form and Symbolization of Proposition

  • Propositional forms are expressed by symbols, but can propositional forms be equated with symbolization of propositions? Traditional logic's answer to this question seems to be self-evident, but mathematical logic makes this question complicated. Since predicate logic of mathematical logic introduced non-logical constants, symbolization of propositions and propositional forms were relatively separated, so that proposition forms have not simply equated with symbolization of propositions.Symbolization of propositions can be achieved with the aid of logic constants, but pure propositional forms don't contain non-logical constants, and there are not genuine non-logical constants in pure formal deduction.
  • loading

Catalog

    Turn off MathJax
    Article Contents

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return