Simple Rule
The generalized modus ponens (
2
) is applied directly.
IRIT-UPS
