Truth Degree of Logic Theory in Propositional Logic Systems and its Application
Guojun Wang
Abstract
Guojun Wang
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.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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