PrintForm Definitions sequent valid Sections ClassicalProps(jlc) Doc

At: formula valid iff sequent valid 2 1 1 1
1. F: Formula
2. a: Full(F)

a Assignment
By: Analyze -1
Generated subgoals:

None

About:
member