zákon jedného argumentu
- zákon výrokovej logiky, ako
p -> p
p v ~p
~(p & ~p)
~~p đ p đ - Alt 240
~(p đ ~p)
(p v p) đ p
(p & p) đ p
(p -> ~p) -> p
( L327;240).