A

• Argument inom logik

D

• DelomrÃ¥den inom logik

F

• Formella sprÃ¥k

P

• Problem inom logik

R

• Rörelser inom logik

T

• Teorier inom logik

• Termer inom logik

V

• Verk om logik

Artikler i kategorin

A

• Allkvantifikator

• Allmänhet (logik)

• Antecedent

• Antites

• Argumentationsfel

B

• B (mjukvaruutveckling)

D

• Dialektik

• Digitalteknik

E

• Eller-introduktion

• Existenskvantifikator

• Existentiellt sluten

F

• Falskhet

• Felslut

• Fixpunktssatsen

• Formel

• Fullständig (modellteori)

• Fullständighet (logik)

• Fullständighet (teori)

G

• Giltighet

• Gödels ofullständighetssats

• Gödelsats

H

• Härledning

• Härledningssystem

• Halvadderare

• Henkinsats

I

• Ignoratio elenchi

• Indirekt bevis

• Induktion (matematik)

• Induktionsbevis

• Inklusion

K

• Karnaughdiagram

• Konnektiv

• Konsekvent

• Konsistens

• Kontraposition

• Kvantifikator

L

• Lambdakalkyl

• Lista över logikartiklar

• Logisk disjunktion

• Logisk ekvivalens

• Logisk grind

• Logisk implikation

• Logisk konjunktion

• Logisk krets

• Logisk negation

• Logisk operator

• Logiska funktioner

M

• Marxistisk dialektik

• Materiell ekvivalens

• Materiell implikation

• Metalogik

• Modallogik

• Modellfullständig

• Modellteori

• Motsägelse

N

• NAND (logisk funktion)

• Nödvändigt villkor

• Nominaldefinition

• NOR (logisk funktion)

O

• Oavgörbar

• Omvändning

P

• Postfixnotation

• Postulat

• Prefixnotation

• Premiss

• Presupposition

R

• Rossersats

S

• Sanningsfunktion

• Sanningskriterium

• Sanningsvärde

• Sanningsvärdetabell

• Sats (logik)

• Självmarkerande

• Slutsats

• Successor

• Syllogism

T

• Tautologi (logik)

• Teoretisk definition

• Tillräckligt villkor

V

• Venndiagram

• Vetenskaplig modell

W

• Warszawagruppen

X

• XNOR