A formal logical principle is a principle of inference expressible using only variables and logical terms.
A formal logical principle is a principle of inference expressible using only variables and logical terms.
This is an example -- since it's expressed using only variables ("A," "B," and "C") and logical terms ("all" and "is"):
A formal logical principle is a principle of inference expressible using only variables and logical terms.