Origin: Latin suffix -al
Tactical has 3 different meanings across 1 category:
A combinator of proof tactics.
"The developer selected a tactical to automatically combine multiple proof steps into a single verification rule."
In plain English: A tactical plan is a specific strategy designed to win an immediate battle rather than the whole war.
"The general asked for tactical advice before launching the attack."
of, or relating to tactics
"The general made tactical adjustments to his troops after spotting an enemy ambush."
In plain English: Tactical means relating to specific actions taken at a particular moment to achieve an immediate goal, rather than long-term planning.
"The tactical decision to wait for reinforcements allowed our team to win the game easily."
The word tactical comes from Latin tacticus, which was derived from Greek taktikos meaning "of arrangement." It entered English through the French suffix -al to describe something related to military strategy or maneuvers.