F
hyp.a |
F 
FM.a |= F a |= q a |= r FN.a |= F Fhyp.a | F a |= q a |= r FM.a |= F FN.a |= F Fhyp.a | F FM.a |= F a |= q
r FN.a |= F 
a:Assignment, q,r:Formula. a |= qr 
a |= q a |= r )
THENC
AbReduceC)
0| 1 | Fhyp.a | F FM.a |= F a |= q a |= r FN.a |= F |
About:
 |  |  |