PrintForm Definitions sequent sat lemmas Sections ClassicalProps(jlc) Doc

At: not sequent satisfiable and falsifiable 1
1. S: Sequent
2. a: Assignment

(a |= S & a | S)
By:
Analyze 0
THEN
Analyze -1
Generated subgoal:

13. a |= S
4. a | S
False

About:
andfalse