At: formula and right falsifiable113 1. hyp: Formula List 2. M: Formula List 3. N: Formula List 4. q: Formula 5. r: Formula 6. a: Assignment 7. Fhyp.a |= F 8. FM.a | F 9. a | q a | r 10. 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 By: Analyze -2 Generated subgoals: