All computer programmers understand the if (this) then (that) logic. This is essential and universal.

I am taking a class in argumentation and reasoning to better apply logic and reason about a local zoning issue to my City Council. In the class I learned two terms: antecedent and consequent.

The “this” in if (this) then (that) is called the antecedent.

The “that” is called the consequent.

These are interesting terms and I like them. I have never, however, heard them used in the context of computer programming. The terms are not necessary for programmers, not all all, but I do like the two words