Prawo Haubera

Prawo Haubera o odwracaniu implikacji – reguła logicznego rachunku zdań.

Symbolicznie:

$[[p\Rightarrow q]\wedge [r\Rightarrow s]\wedge [p\vee r]\wedge \mathrm{\neg }[q\wedge s]]⟹[[q\Rightarrow p]\wedge [s\Rightarrow r]]$

Bibliografia

• Szablon:Cytuj stronę, slajd 109.