Counting with 3-valued truth tables of bracketed formulae connected by implication
Abstract
In this paper we investigate the combinatorical structure of the Kleene type truth tables of all bracketed formulae with n distinct variables connected by the binary connective of implication.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2020
- DOI:
- 10.48550/arXiv.2010.10303
- arXiv:
- arXiv:2010.10303
- Bibcode:
- 2020arXiv201010303Y
- Keywords:
-
- Mathematics - General Mathematics;
- 05A15;
- 05A16;
- 03B05