Overleg:Propositielogica

Er staat :(A → B) ↔ (¬A ¬B) dat niet syntactisch correct, ik neem aan dat :(A → B) ↔ (¬A ∨ B) bedoeld wordt... ik ben niet erg bekend met wiki, dit lijkt me een mooi moment om te kijken of dat editten ook echt werkt...

edit: het werkt echt, driewerf hoera

Onbekende Tekens

de 'OF' en 'EN' tekens (de dakjes en de V'tjes) worden in dit artikel door mijn computer weergegeven als vierkantjes, dus als onbekende tekens. Als dat bij mijn pc het geval is zal dit bij nog vele andere pc's het geval zijn. Het vreemde is dat in andere artikelen over 'Logica' deze tekens wel juist worden weergegeven. Waarschijnlijk is dan ook het probleem verholpen wanneer de tekens hier vervangen worden door dezelfde tekens als in de andere artikelen. Ik zou dit zelf doen, maar kan de 2 tekens in dit artikel niet van elkaar onderscheiden, dus dat zou moeilijk gaan. Mocht iemand zich geroepen voelen dit echter te doen, be my guest en bij voorbaat dank.

Met Internet Explorer 6.0 worden ∨ en ∧ correct afgebeeld. Het enige probleem is de turnstile ⊢. Dat is een vierkantje bij IE 6.0. Bij Firefox, Opera en IE 7 wordt dit symbool wel correct weergegeven. Otto 6 jun 2006 12:06 (CEST)

Informele Toon

De onderste twee alinea's komen op mij niet erg encyclopedisch over. Het is een vorm van spreektaal die een docent zou kunnen gebruiken om zijn klas het onderwerp te laten begrijpen, maar in een encyclopedie is een wat formelere vorm denk ik wenselijk --Sonarc 17 jan 2008 09:58 (CET)

Inderdaad erg informeel, en bovendien onduidelijk en verwarrend. Iemand met kennis over het onderwerp zou dit dringend moeten herschrijven op een meer formele en overzichtelijke manier. Inmiddels heb ik het gedeelte al bewerkt door de meest flagrante informele constructies te herschrijven. – De voorgaande bijdrage werd geplaatst door 84.192.109.43 (overleg · bijdragen)

Bedenk wel dat Wikipedia geen (althans niet alleen) handboek is voor experts maar ook door beginners begrepen moet kunnen worden (zoals ik). Het is opvallend dat dit (en aanverwante onderwerpen) leunen op allerlei begrippen die de beginner ook weer moet opzoeken, en dat iteratief, zodat het gevaar bestaat dat door de bomen de zich op het bos teloor gaat. Rbakels (overleg) 20 mrt 2021 23:06 (CET)