Existential Introduction

Classically known as Existential Generalization, this principle says that you can prove a predicate holds of a specific thing, then you can infer that there is something of which that same predicate is true.

Constants

∃

Systems

LRC_FOLIThe Logic BookLRCLRC_PLRC_O