Supposons (P => R) et (Q => R)
Si P, alors R comme P => R
Si Q, alors R comme Q => R
Donc si P ou Q, R
Donc (P ou Q) => R
Réciproquement, supposons (P ou Q) => R
Si P, P ou Q donc R par P ou Q => R
Si Q, P ou Q donc R par P ou Q => R
Donc (P => R) et (Q => R)