Króciótkie zadanie z logiki in.: Podać negację zdania Jeżeli liczba dzieli się przez 4, to dzieli się przez dwa. p⇒q zaprzeczeniem implikacji jest ≈(p⇒q)⇒p⁽≈g) czyli to zdanie będzie brzmiało Liczba nie dzieli się przez 4 i nie dzieli się przez 2? Czy jak?

in.: prosze?

5-latek: ∼(p⇒q)⇔(p⋀∼q) czyli zaprzeczenie implikacji jest rownowazne koniunkcji poprzednika i negacji następnika czyli liczba dzieli się przez 4 i nie dzieli się przez 2

Kacper: ~(p⇒q)⇔p∧~q Liczba dzieli się przez 4 i nie dzieli się przez 2

PW: Lepiej (?) by było zrozumieć, gdyby sformułować to zdanie jako zdanie z kwantyfikatorem: ∀ ((n dzieli się przez 4) ⇒ (n dzieli się przez 2)). ^n∊N Zaprzeczeniem jest zdanie ∃ ((n dzieli się przez 4) ⋀ (n nie dzieli się przez 2)). ^n∊N