PrintForm Definitions sequent falsification Sections ClassicalProps(jlc) Doc

At: decidable sequent falsifiable 1 1
1. S: Sequent
2. a: Assignment

Dec(FS.H.a |= F & FS.C.a | F)
By: ProveDecidable1
Generated subgoals:

None

About:
and