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 Fhyp.a | F a |= q a |= r FM.a |= F FN.a |= F 
a:Assignment, q,r:Formula. a |= qr 
a |= q a |= r ))
-1| 1 | 7. Fhyp.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 |
About:
 |  |  |