Temporal Propositional Expression (TPE) designating a temporal propositional function (TPF) is defined by the following recursion.
Let us define a temporal propositional expression (a TPE), designating a temporal propositional junction ( TPE), by the following recursion:
A Logical Calculus of Ideas Immanent in Nervous Activity
1. A 1p1 [z1] is a APE, where p1, is a predicate-variable.
2. If Sl and S2 are APE containing the same free individual variable, so are SS1, S1vS2, Sl.S2 and Si = S2.
3. Nothing else is a TPE. (EM 24)
This page was last updated on July 29, 1996, by Rob Sable.