Numerical Attributes of the Logical Connectives
Abstract
The present paper deals with the numerical attributes of the logical connectives. We put the truth functions representing the connectives as formulas using arithmetic operations to truth values of logical variables: a'=1–a, (a∧b)=ab, (a∨b)=a+b-ab= 1–a'b'= a+a'b = b+b'a, (a ⇒ b) = 1–a+ab = 1–ab' = a'+ab = b+a'b' and (a ⇔ b) = 1–(a–b)2=ab+a'b'=1–ab'–a'b. In this way, we solve formulas of a propositional calculus just as arithmetic expressions. Several illustrative examples are supplied here.
Downloads
Published
2025-06-01
How to Cite
Závodný, M. (2025). Numerical Attributes of the Logical Connectives. MATHEMATICS–PHYSICS–INFORMATICS, 34(2), 89–99. Retrieved from https://mfi.upol.cz/index.php/mfi/article/view/942
Issue
Section
Mathematics
License
Copyright (c) 2025 MATHEMATICS–PHYSICS–INFORMATICS
This work is licensed under a Creative Commons Attribution 4.0 International License.
Autoři, kteří publikují v tomto časopise, souhlasí s následujícími body:
- Autoři si ponechávají copyright a garantují časopisu právo prvního publikování, přitom je práce zároveň licencována pod Creative Commons Attribution licencí, která umožňuje ostatním sdílet tuto práci s tím, že přiznají jejího autora a první publikování v tomto časopisu.
- Autoři mohou vstupovat do dalších samostatných smluvních dohod pro neexkluzivní šíření práce ve verzi, ve které byla publikována v časopise (například publikovat ji v knize), avšak s tím, že přiznají její první publikování v tomto časopisu.
Obsah časopisu podléhá licenci Creative Commons Uveďte autora 3.0 Česko
