deductive [adjective] + logic [noun]