Next: sq, Previous: lm, Up: Miscellaneous Rules [Contents]
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.