Universal Introduction

Classically known as Universal Generalization, this principle says that if you can prove something of a genuinely arbitrary instance of a generalization then you can infer that generalization.

Constants

∀

Systems

LRC_FOLIThe Logic BookLRCLRC_PLRC_O