PrintForm Definitions formula validity Sections ClassicalProps(jlc) Doc

At: formula valid wf

F:Formula. |= F Type
By:
Unfold `formula_valid` 0
THEN
UnivCD
Generated subgoal:

11. F: Formula
(a:Full(F). a |= F ) Type

About:
allmemberuniverse