Rachunek zdań Przemek: Proszę o wytłumaczenie jak się brać za takie zadania Wykazać prawo Claviusa: jeżeli (( ~p)⇒ q) = 1 dla każdego q; to p = 1.

yolex: Implikacja jest prawdziwa dla dowolnego następnika, jeśli poprzednik jest fałszywy, bo 0⇒1 daje 1 i 0⇒0 daje 1. , więc ¬ p=0, czyli p=1. Możesz to robić metodą niewprost: zakładasz, że p=0. Wtedy nieprawda, że dla każdego q implikacja jest prawdziwa, bo 1⇒0 daje 0

Przemek: Dzięki