Prawo Haubera

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

Symbolicznie:

$[[p\Rightarrow q]\land [r\Rightarrow s]\land [p\lor r]\land \neg [q\land s]]\implies [[q\Rightarrow p]\land [s\Rightarrow r]]$

Bibliografia

• Jerzy Pogonowski: Logika matematyczna. [dostęp 2009-06-11]. slajd 109