PrintForm Definitions formula falsification Sections ClassicalProps(jlc) Doc

At: decidable formula falsifiable

a:Assignment, f:Formula. Dec(a | f)
By: UnivCD
Generated subgoal:

11. a: Assignment
2. f: Formula
Dec(a | f)

About:
all