(2steps) PrintForm Definitions formula Sections ClassicalProps(jlc) Doc

At: subformula wf 1
1. F: Formula

case F:x nil;p [p];pq [p; q];pq [p; q];pq [p; q]; Formula List
By:
FormulaCases 1
THEN
Reduce 0
Generated subgoals:

None

About:
listconsnilmember

(2steps) PrintForm Definitions formula Sections ClassicalProps(jlc) Doc