q 
a | r
a | q a | r 
F
M.a | F FN.a | F Fconcl.a |= F q
r a | q a | r FM.a | F FN.a | F Fconcl.a |= F 
a:Assignment, q,r:Formula. a | qr 
a | q a | r
[-1]| 1 | 8. a | q a | r a | q a | r FM.a | F FN.a | F Fconcl.a |= F |
About:
 |  |