Definitions bool 1 Doc

At: assert of band

p,q:. (pq) p & q
By: UnivCD
Generated subgoal:

11. p:
2. q:
(pq) p & q