PrintForm Definitions sequent falsification Sections ClassicalProps(jlc) Doc

At: decidable sequent falsifiable

S:Sequent, a:Assignment. Dec(a | S)
By: UnivCD
Generated subgoal:

11. S: Sequent
2. a: Assignment
Dec(a | S)

About:
all