Overleg:Logische negatie

equivalentie

@Gebruiker:Hoopje. Zeg dan wat je bedoelt in plaats van alleen naar een ander artikel te verwijzen. De twee zinnen die er nu staan zijn beide correct en de tweede zin illustreert de eerste. ChristiaanPR (overleg) 1 mrt 2024 14:28 (CET)

Ik verwijs niet naar een ander artikel, ik legde uit waarom die verwijzing naar een ander artikel nuttig is.

Het gaat mij om de zin "De dubbele negatie in de propositie $\neg \neg P$ mag volgens de eliminatie van de dubbele negatie worden weggehaald, dus eenvoudiger worden geschreven als $P$ ." Deze zin klopt niet. Je mag $\neg \neg P$ eenvoudiger als $P$ schrijven omdat die twee proposities equivalent zijn. En $P\equiv \neg \neg P$ betekent: $P\Rightarrow \neg \neg P$ en $\neg \neg P\Rightarrow P$. Alleen die tweede volgt uit "eliminatie van dubbele negatie" (wat al blijkt uit de naam eliminatie). Voor de equivalentie heb je ook de eerste nodig ("introductie van dubbele negatie"). Dat is echter meestal een afgeleide regel, daarom hebben we er geen artikel over, maar in Eliminatie van dubbele negatie wordt hij wel vermeld.

Draai je jouw fout zelf weer even terug? Ik blijf niet bezig. Hoopje (overleg) 1 mrt 2024 15:29 (CET)

Ik wel en heb het artikel overeenkomstig met wat jij hierboven schrijft aangepast. ChristiaanPR (overleg) 1 mrt 2024 17:04 (CET)