Next: , Previous: , Up: Miscellaneous Rules   [Contents]


6.5.2 Subproof

Given a subproof with premise ’P’ and conclusion (the LAST sentence) ’Q’, one can infer from subproof ’P → Q’. In some circles, this is called conditional introduction.