FM.a |= F

a |= qr

FN.a |= F

Fconcl.a | F

a |= q & FM.a |= F & FN.a |= F & Fconcl.a | F a |= r & FM.a |= F & FN.a |= F & Fconcl.a | F

FwdThru Thm* a:Assignment, q,r:Formula. a |= qr a |= q a |= r [-3]
THEN
Analyze -1

1	11. a |= q a |= q & FM.a |= F & FN.a |= F & Fconcl.a | F a |= r & FM.a |= F & FN.a |= F & Fconcl.a | F
2	11. a |= r a |= q & FM.a |= F & FN.a |= F & Fconcl.a | F a |= r & FM.a |= F & FN.a |= F & Fconcl.a | F

About: