Prawo Haubera
Prawo Haubera o odwracaniu implikacji – reguła logicznego rachunku zdań.
Symbolicznie:
Bibliografia[edytuj | edytuj kod]
- Jerzy Pogonowski: Logika matematyczna. [dostęp 2009-06-11]. slajd 109
Prawo Haubera o odwracaniu implikacji – reguła logicznego rachunku zdań.
Symbolicznie:
![{\displaystyle [[p\Rightarrow q]\land [r\Rightarrow s]\land [p\lor r]\land \neg [q\land s]]\implies [[q\Rightarrow p]\land [s\Rightarrow r]]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/379f7049cc6e969dea967b35ed265c8b23e3d5c1)