PrintForm Definitions sequent satisfaction Sections ClassicalProps(jlc) Doc

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

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

None

About:
or