F
hyp.a |
F 
FM.a |= F a |= q & a |= r FN.a |= F Fhyp.a | F a |= q FM.a |= F FN.a |= F Fhyp.a | F 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 ))
0| 1 | Fhyp.a | F FM.a |= F a |= q & a |= r FN.a |= F |
About:
 |  |  |