Ideographic computation in the propositional calculus
This paper will be concerned with an adaptation of Parry's trapezoid symbolism to the solving of problems. In Parry's notation ‘ p q ’, in particular, sets forth the relationship that obtains when p is true, whether q be true or false. The symbol may also be regarded as manifesting the mat...
Gespeichert in:
Veröffentlicht in: | The Journal of symbolic logic 1954-09, Vol.19 (3), p.169-171 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Schreiben Sie den ersten Kommentar!