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