GNU Aris Manual: sp

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.

AltStyle によって変換されたページ (->オリジナル) /