PrintForm Definitions sequent valid Sections ClassicalProps(jlc) Doc

At: formula valid iff sequent valid 2 1 2 1
1. F: Formula
2. a: Full(F)
3. False a |= F False

a |= F
By: Repeat (Analyze -1)
Generated subgoals:

None

About:
orfalse