Next: , Previous: lm, Up: Miscellaneous Rules


6.5.2 Subproof

Given a subproof with premise 'P' and conclusion (the LAST sentence) 'Q', one can infer from subproof 'P → Q'.