formal logic: Meaning and Definition of

for'mal log'ic

1. the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions.