formal implication

Related Overviews


More Like This

Show all results sharing this subject:

  • Philosophy


Show Summary Details

Quick Reference

In a logical calculus, one proposition A formally implies another B if there is a proof starting from A as an assumption and ending with B.

Subjects: Philosophy.

Reference entries

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