r
a | r 
F
M.a | F FN.a | F Fconcl.a |= F q
r 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 | r a | r FM.a | F FN.a | F Fconcl.a |= F |
About:
 |  |