PrintForm Definitions formula falsification Sections ClassicalProps(jlc) Doc

At: decidable formula falsifiable 1
1. a: Assignment
2. f: Formula

Dec(a | f)
By: Unfold `formula_falsifiable` 0
Generated subgoal:

1 Dec((f under a) = 3)

About:
equal