Wikipedia:Projekt logik

Wikipedia

Detta projekt syftar till att sortera upp artiklar om logik. Det finns en uppsjö av artiklar som behandlar i princip detsamma och som bör samlas ihop.

Lista över logikartiklar finns även under Lista över logikartiklar och under Kategori:Logik.

Nedan följer en lista på artiklar som bör granskas och bearbetas:

[redigera] Sammanfattande artiklar

[redigera] Konnektiv

logisk negation
logisk konjunktion - (klar förutom bilder /Åke Persson 19 januari 2005 kl.11.24 (CET))
logisk disjunktion - (klar förutom bilder /Åke Persson 20 januari 2005 kl.03.00 (CET))
logisk implikation - (klar t.v. /Åke Persson 25 januari 2005 kl.11.12 (CET))
logisk ekvivalens

NAND (logisk funktion) - (klar förutom bild / Sten A 7 augusti 2005 kl.11.41 (CEST)))
NOR (logisk funktion) - (klar förutom bild / Sten A 7 augusti 2005 kl.12.03 (CEST))

negation - (vidarelänk till logisk negation) / Sten A 5 augusti 2005 kl.22.10 (CEST))
konjunktion - (gaffel)
disjunktion - (vidarelänk till logisk disjunktion /Åke Persson 20 januari 2005 kl.03.00 (CET))
implikation - (vidarelänk till logisk implikation /Åke Persson 25 januari 2005 kl.11.12 (CET))
ekvivalens

NOT (logisk funktion) - (vidarelänk till logisk negation / Sten A 4 augusti 2005 kl.21.53 (CEST))
AND (logisk funktion) - (vidarelänk till logisk konjunktion /Åke Persson 19 januari 2005 kl.11.24 (CET))
OR (logisk funktion) - (vidarelänk till logisk disjunktion /Åke Persson 20 januari 2005 kl.03.00 (CET))
XOR (logisk funktion) - (vidarelänk till logisk disjunktion /Åke Persson 20 januari 2005 kl.03.00 (CET))

NOT-grind - (vidarelänk till logisk negation / Sten A 4 augusti 2005 kl.21.53 (CEST))
AND-grind - (vidarelänk till logisk konjunktion /Åke Persson 19 januari 2005 kl.11.24 (CET))
OR-grind - (vidarelänk till logisk disjunktion /Åke Persson 20 januari 2005 kl.03.00 (CET))
XOR-grind - (vidarelänk till logisk disjunktion /Åke Persson 20 januari 2005 kl.03.00 (CET))
NAND-grind - (vidarelänk till NAND (logisk funktion))
NOR-grind - (vidarelänk till NOR (logisk funktion))

Om och endast om

[redigera] Namn på konnektiv

Eftersom ord som AND och OR inte är sökbara, samt namnen för konnektiven även kan ha andra betydelser listas även dessa för bevakning:

NOT, AND, OR, XOR, NAND, NOR, IF, IFF
not, and, or, xor, nand, nor, if, iff
ICKE, OCH, ELLER, OM, OMM
icke, och, eller, om, omm

[redigera] Mallar

Mall:Logiskafunktioner (länkar till de grundläggande logiska funktionerna)
Mall:Projektarbete
Mall:Konnektiv (utgår förslagsvis)

Wikipedia:Lista över meddelandevariabler för vetenskap

[redigera] Andra artiklar

[redigera] Förslag på åtgärder

Konnektivens sanningstabeller skrivs som mallar som kan inkluderas i artiklar.
Det finns bara en artikel för varje konnektiv som behandlar alla dess olika tillämpningar. Övriga vidarelänkar dit.
Alla registreras i [[Kategori:Logik]]
Konnektiv-artiklarna bör ha likartad uppbyggnad

Den här artikeln är hämtad från http://sv.wikipedia.org../../../p/r/o/Wikipedia%7EProjekt_logik_ebaa.html

Kategorier: Logik | Wikipedia:Projekt