Diskussion:Logisk konnektiv
Huskeliste for Logisk konnektiv: | rediger · historik · overvåg · opdater |
---|---|
Udførlig artikel, men ønskes sammenskrevet
[rediger kildetekst]Det gode ved denne artikel er, at den nok er det mest udførlige skrevet inden for logisk algebra. Men jeg vil foreslå den skrevet sammen med artiklen Logisk operator.
Jeg har aldrig før hørt om begrebet "logisk konnektiv", men forstår vistnok, at det er et begreb, der mest anvendes ind for sproglig logik. Men i matematik og de afledte disipliner inden for datalogi taler man da mest om operator og operand.
Der findes en uoverskuelig skov af artikler om emnet på dawiki, og der er ikke enighed om opbygningen. I Diskussion:Logisk_operator har jeg foreslået følgende:
- Der oprettes en artikel om Logisk algebra. Den mener jeg bør være "hovedemne". Denne tager især fat på historien om emnet siden George Boole.
- Boolsk algebra omdirigeres til Logisk algebra. Der er det samme, blot opkaldet efter Boole. Der er ikke enighed om det skal kaldes Boolsk (som på norsk) eller Boolesk (som på svensk eller det tyske Boolesch).
- Der oprettes en artikel om Sandhedsværdi.
- Boolsk udtryk omdirigeres til Sandhedsværdi.
Derudover foreslår jeg altså denne artikel slået sammen med logisk operator.
Der har været forslag om, at logisk operator skrives sammen med Sandhedstabel. Dette synes jeg er en helt ulogisk sammenskrivning (svarer vel nærmest til at skrive Multiplikation ind under Multiplikationstabel). Artiklen om sandhedstabel kunne passende omdirigeres til Logisk operator (med det udførlige indhold i hosstående artikel). Pkj61 (diskussion) 13. apr 2012, 15:00 (CEST)
- Ups - oprettede artiklen Logisk algebra som en to-linjers stub. Men så blev den linket til den enwiki-artiklen en:algebraic logic, og det er en meget bredere disciplin. Måske Boolsk algebra lægger mindre op til forveksling.
Pkj61 (diskussion) 16. apr 2012, 00:08 (CEST)