Conditional Introduction

Classically known as Conditional Proof, this principle says that if you can derive a claim from the assumption of another then you can discharge the assumption and infer the conditional expressing that implication.

Constants

→

Systems

LRC_FOLIThe Logic BookLRCLRC_PLRC_O