formal logic: Meaning and Definition of

for'mal log'ic

Pronunciation: [key]
  1. the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions.
Random House Unabridged Dictionary, Copyright © 1997, by Random House, Inc., on Infoplease.