formal logic

Related Overviews


More Like This

Show all results sharing this subject:

  • Computing


Show Summary Details

Quick Reference

The study of the analysis of propositions and of proofs, paying attention only to abstract symbols and form and paying no attention whatsoever to the meaning of the abstractions. See also symbolic logic.

Subjects: Computing.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.