Logika

Logika kasiek: ~ [(~ p v ~ q)⋀ ~ ( ~ p)] zastąp prostszym zdaniem równoważnym.

12 lis 13:24

wredulus_pospolitus: ~(~p) = p zaprzeczenie zaprzeczenia jest potwierdzeniem (~p ⋁ ~q) ⋀ p = (~p ⋀ p ) ⋁ (~q ⋀ p) = (~q ⋀ p)

12 lis 13:36