Från Rilpedia

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:

Innehåll 1 Sammanfattande artiklar 2 Konnektiv 2.1 Namn på konnektiv 3 Mallar 4 Andra artiklar 5 Förslag på åtgärder

Sammanfattande artiklar

• Logisk operator
• Logisk krets
• Logiska grindar

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

• materiell implikation - (vidarelänk till logisk implikation)
• materiell ekvivalens - (vidarelänk till 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 - (gaffelsida)

• 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
• XNOR

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

Mallar

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

• Rilpedia:Lista över meddelandevariabler för vetenskap

Andra artiklar

• grind
• sanning
• sanningsvärde
• sanningsfunktion
• sanningstabell
• motsägelse
• tautologi
• kontradiktion
• Lista över datarelaterade ord och begrepp
• Modus ponens
• Modus tollens
• Kontraposition
• Härledningsregel

Förslag på åtgärder

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