A logic captures a complexity class when every problem in that class is definable by a formula of th...