Lista över logikartiklar
Wikipedia
- Logik
- Filosofisk logik
- Matematikfilosofi
- Abstrakt logik
Innehåll |
[redigera] Logiska system
- Satslogik
- Första ordningens logik
- Matematisk logik
- Deontisk logik
- Intuitionistisk logik
- Boolesk algebra
- Flervärd logik
- Suddig logik (fuzzy logic)
- Baysian logic
- Parakonsistent logik
- Mängdteori
- Modallogik
- Relationell logik
[redigera] Begrepp
- Axiom
- Bevis
- Formel
- Fullständighet (logik)
- Härledningsregel
- Korollarium
- Lemma
- Logisk operator
- Modellteori
- Oavgörbar
- Paradox
- Sanning
- Sanningsvärde
- Sanningsfunktion
- Sanningstabell
- Teorem
- Teori
[redigera] Operatorer
- Logisk negation
- Logisk konjunktion
- Logisk disjunktion
- Logisk implikation
- Logisk ekvivalens
- NAND (logisk funktion)
- NOR (logisk funktion)
- XOR (logisk funktion)
- Omm
[redigera] Regler
[redigera] Logiska problem
[redigera] Logiker
- Aristoteles
- Kurt Gödel
- George Cantor
- Henry M. Sheffer
- Charles Peirce
- George Boole
- Alfred Tarski
- Bertrand Russell
- Alfred Whitehead
- Ludvig Wittgenstein
- Alan Turing
- Alonzo Church
- Gottlob Frege
