Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thomas van Maaren
The language of Propositional Calculus.
cprop

Next ⟩ df-prop

Metamath Proof Explorer

Ascii
Structured

Syntax definition cprop

Description: The language of Propositional Calculus.

		Ref	Expression
	Assertion	cprop	class PROP