정언 논리