PrintForm Definitions sequent valid Sections ClassicalProps(jlc) Doc

At: formula valid iff sequent valid 2 1 1 2 1 1 1
1. F: Formula
2. a: Assignment
3. a |= F

False a |= F False
By:
Choose [2;1]
THEN
Trivial
Generated subgoals:

None

About:
orfalse