Next: , Up: Rules Index   [Contents]


6.1 Inference Rules

The premises of any of these rules can be in any order.