APA Dictionary of Psychology

a necessarily valid conclusion that follows from the operations of a system of formal logic on a set of premises or initial conditions.