F
M.a |
F 
a | q a | r FN.a | F Fconcl.a |= F q a | r FM.a | F FN.a | F Fconcl.a |= F FM.a | F a | q
r FN.a | F Fconcl.a |= F 
a:Assignment, q,r:Formula.
a | qr 
a | q a | r))
0| 1 | FM.a | F a | q a | r FN.a | F Fconcl.a |= F |
About:
 |  |