Historical clue formulations

• Conditional construct in programming — 2012-04-22
• Kind of statement, to a programmer — 2007-05-23
• Kind of logic — 2005-10-02
• Kind of proposition, in logic — 2000-09-24