International Journal of Applied Mathematics, Computational Science and Systems Engineering
E-ISSN: 2766-9823
Volume 7, 2025
On Conditional Propositions and Equivalence in Logical $$B_{3}$$
Authors: ,
Abstract: This article is about logical values. Known logical values are explored in the definition of logic given in B2. The statement “not both” is analyzed. The logical definition $$B_{3}$$ is given according to the results obtained. The expansion of logical values in $$B_{2}$$ is investigated in logic $$B_{3}$$. New logical values are added to the literature. True corresponds to 1 and false corresponds to 0. If these both cases are not enough. We need to put -1 for ternary logic which is the scope of the paper. Therefore, the existing values of real expressions are obtained. The new definitions, lemmas and theorems covering the three logical values are the core of the paper.