All temporal truth-functions are expressed in the form of ordinary truth-function by the use of sequential variables.
The temporal truth-functions are classified in three categories : (1) Simple temporal truth-function, (2) Happening function and (3) Sequential f unction.
Some fundamental temporal truth-functions are as follows : After-happening function, Hp. (After the happening of p) Delay function, Dp. (Delaying p for an interval) Jumping function, Jp. (Jumping over a positive interval of p) Temporal conjunction, K(p, q). (p and q, but p before q.)
Hp≡s
Dp≡-p∧Hp
Jp≡p∧-S1
K(p, q)≡(p∧q)∧S(p)
