PrintForm Definitions full assignment Sections ClassicalProps(jlc) Doc

At: full formula assignment properties 1 1 1
1. F: Formula
2. a: Assignment
3. a |= F a | F

Dec(a |= F a | F)
By: ProveDecidable
Generated subgoals:

None

About:
or