At: formula imp right sat 2 1 2 1 1
1. hyp: Formula List
2. M: Formula List
3. N: Formula List
4. q: Formula
5. r: Formula
6. a: Assignment
7. a |= r
a |= q
r
By: BackThru
Thm* 
a:Assignment, q,r:Formula. a |= qr 
a |
q 
a |= r
Generated subgoal:
About:
