2009Journal of Yunnan Normal UniversityRequires access

Truth Degree of Logic Theory in Propositional Logic Systems and its Application

Guojun Wang

Open publisher page 0 citations

Abstract

Based on D-random truth degrees and conditional truth degrees of two valual propositional logical formulas,the concepts of D-conditional truth degrees and the corresponding properties are intruduced.In logical metric space(F(S),ρD),the concepts of contradiction and tautology based on Γwith the concepts of logical equivalence based on Γ between formulas A and B are given;then the concepts of D-conditional similarity degrees and D-conditional logical pseudodistance and the corresponding properties are also discussed.

About this research paper

What this paper is about

Based on D-random truth degrees and conditional truth degrees of two valual propositional logical formulas,the concepts of D-conditional truth degrees and the corresponding properties are intruduced.In logical metric space(F(S),ρD),the concepts of contradiction and tautology based on Γwith the concepts of logical equivalence based on Γ between formulas A and B are given;then the concepts of D-conditional similarity degrees and D-conditional logical pseudodistance and the corresponding properties are also discussed.

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Based on D-random truth degrees and conditional truth degrees of two valual propositional logical formulas,the concepts of D-conditional truth degrees and the corresponding properties are intruduced.In logical metric space(F(S),ρD),the concepts of contradiction and tautology based on Γwith the concepts of logical equivalence based on Γ between formulas A and B are given;then the concepts of D-conditional similarity degrees and D-conditional logical pseudodistance and the corresponding properties are also discussed.

Key concepts: Tautology (logic), Propositional variable, Logical connective, Truth table, Propositional calculus, Intuitionistic logic, Truth function, Truth value

Related papers

Back to paper searchBrowse research topicsOriginal source
Truth Degree of Logic Theory in Propositional Logic Systems and its Application — Research Paper | ScholarLens