Table 1 collects a sample of basic propositional forms as expressed in terms of cactus language connectives.
Table 1 outlines a notation for propositional calculus based on two types of logical connectives, both of variable
-ary scope.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
![{\displaystyle a+b+c}](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/5a1665d6bc61ca933b6a448479992cb3b606561b)
![{\displaystyle {\begin{matrix}&a~b~c\\\lor &a~{\bar {b}}~{\bar {c}}\\\lor &{\bar {a}}~b~{\bar {c}}\\\lor &{\bar {a}}~{\bar {b}}~c\end{matrix}}}](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/5fb7d309e0fe2c4a6f1ec7561376a3e3b1c4d974)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
![{\displaystyle {\text{Entitative}}}](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/52f2bcef1a6e9705265af83ed68ebf5222005434)
|
![{\displaystyle {\text{Existential}}}](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/e7555b2473e94a7164bc23e6c277e61645cf9832)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
![{\displaystyle {\text{Existential}}}](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/e7555b2473e94a7164bc23e6c277e61645cf9832)
|
![{\displaystyle {\text{Entitative}}}](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/52f2bcef1a6e9705265af83ed68ebf5222005434)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The easy way to visualize the values of these graphical expressions is just to notice the following equivalents: