Notes on algebraic structure of truth tables of bracketed formulae connected by implications
In this paper we investigate the algebraic structure of the truth tables of all bracketed formulae with n distinct variables connected by the binary connective of implication.
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | In this paper we investigate the algebraic structure of the truth tables of
all bracketed formulae with n distinct variables connected by the binary
connective of implication. |
|---|---|
| DOI: | 10.48550/arxiv.2106.04728 |