Overview

rule of conditional proof


Show Summary Details

Quick Reference

The rule in a deductive system that if A1…An ⊦ B then A1…An−1 ⊦ An → 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.