Napisz zaprzeczenie zdania p → (q → p) anon: Napisz zaprzeczenie zdania: p → (q → p) Jak się za to zabrać krok po kroku?

chichi: prawo negacji implikacji orzeka iż: ¬(p → q) ↔ p ⋀ ¬q

chichi: skorzystaj

anon: "prawo negacji implikacji orzeka iż:" no ok, ale jak to zastosowac?

chichi: no proszę Cię... przecież masz napisany przepis

anon: okej, czyli jak dobrze rozumiem to p → (q → p) p → ~ (q → p) p → (q ⋀ ~p) p → ~p dobrze?

chichi: nie no jak...

chichi: to jest prawo symplifikacji swoją drogą

anon: nie rozumiem

chichi: 23:05 Ty zaprzeczyłeś kolego następnik implikacji sobie, a nie całe zdanie...