The Theory of Γ-Truth Degree Based on the Premise Information in Two-Valued Propositional Logic
Aiqing Wang
Abstract
Aiqing Wang
Abstract
The truth degree is the main numerical character in formulas.And hence,the pseudo metric based on the formulas' truth degree becomes the basic logic metric in the study of propositional logic system.In view of the above truth degree,this paper presents the Γ-truth degree in two-valued propositional logic based on the premise information.Meanwhile the definitions of Γ-similarity and Γ-pseudo metric are also achieved along with the truth degree expression of the Γ-pseudo metric.According to these conclusions,this paper discusses the principal properties of the error conclusions which are not greater than e under the Boolean calculation.So it provides this approximate reasoning of the premise information with some numerical tools and methods.
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.
The truth degree is the main numerical character in formulas.And hence,the pseudo metric based on the formulas' truth degree becomes the basic logic metric in the study of propositional logic system.In view of the above truth degree,this paper presents the Γ-truth degree in two-valued propositional logic based on the premise information.Meanwhile the definitions of Γ-similarity and Γ-pseudo metric are also achieved along with the truth degree expression of the Γ-pseudo metric.According to these conclusions,this paper discusses the principal properties of the error conclusions which are not greater than e under the Boolean calculation.So it provides this approximate reasoning of the premise information with some numerical tools and methods.
Key concepts: Premise, Propositional calculus, Truth value, Metric (unit), Truth function, Degree (music), Intuitionistic logic, Mathematics