Metamath Proof Explorer

Syntax definition cpropvar

Description: A variable in a sentence of propositional calculus.

Ref Expression
Assertion cpropvar 
class propvar