q
a | q 
F
hyp.a | F a |= r FM.a |= F FN.a |= F a | q Fhyp.a | F a |= r FM.a |= F FN.a |= F 
r a | q Fhyp.a | F a |= r FM.a |= F FN.a |= F 
a:Assignment, q,r:Formula. a |= qr 
a | q a |= r
[-1]
| 1 | 8. a | q a | q Fhyp.a | F a |= r FM.a |= F FN.a |= F |
| 2 | 8. a |= r a | q Fhyp.a | F a |= r FM.a |= F FN.a |= F |
About:
 |  |