Lista över logikartiklar
Från Rilpedia
Texten från svenska Wikipedia
Innehåll |
Logiska system
- Satslogik
- Första ordningens logik
- Matematisk logik
- Deontisk logik
- Intuitionistisk logik
- Boolesk algebra
- Flervärd logik
- Suddig logik (fuzzy logic)
- Bayesian logic
- Parakonsistent logik
- Mängdteori
- Modallogik
- Relationell logik
Begrepp
- Axiom
- Bevis
- Formel
- Fullständighet (logik)
- Härledningsregel
- Korollarium
- Lemma
- Logisk operator
- Modellteori
- Oavgörbar
- Paradox
- Sanning
- Sanningsvärde
- Sanningsfunktion
- Sanningstabell
- Teorem
- Teori
Operatorer
- Logisk negation
- Logisk konjunktion
- Logisk disjunktion
- Logisk implikation
- Logisk ekvivalens
- NAND (logisk funktion)
- NOR (logisk funktion)
- XOR (logisk funktion)
- Omm
