first order logic principles 7436511