Note of Randomization of 3-valued Propositional Logic
Weibing Zuo
Abstract
Weibing Zuo
Abstract
By introducing random mapping and truth degree weight function,the definition of equivalence of the randomized truth degree of formula in 3-valued propositional logic is obtained.The inference rule based on randomized truth degree are given and continuity of logical operations on randomized logic metric spaces are studied.Another way for approximate reasoning in the logic system is provided.
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.
By introducing random mapping and truth degree weight function,the definition of equivalence of the randomized truth degree of formula in 3-valued propositional logic is obtained.The inference rule based on randomized truth degree are given and continuity of logical operations on randomized logic metric spaces are studied.Another way for approximate reasoning in the logic system is provided.
Key concepts: Truth function, Propositional calculus, Well-formed formula, Tautology (logic), Propositional variable, Mathematics, Intuitionistic logic, Logical connective