logik, i vid bemärkelse grundläggande principer för en grupp företeelser eller lära om följdriktiga slutledningar inom något område (t.ex. kapitalets logik, forskningens logik).

logik, inom digitaltekniken sammanfattande benämning på logiska kretsar (se logisk krets).

deontisk logik, benämning på den del av logiken som studerar normativa begrepp såsom förpliktelse, påbud, förbud och tillåtelse.

kombinatorisk logik, en gren av den matematiska logiken i vilken man studerar vissa grundläggande operationer för att konstruera och manipulera funktioner uppfattade som regler för beräkning.

matematisk logik, se logik.

tvåvärdig logik, logik som utgår ifrån att en sats alltid har ett av de två sanningsvärdena sanning och falskhet.

flervärdig logik, mångvärdig logik , system som opererar med fler sanningsvärden än den klassiska logikens två, sanning och falskhet.

logikanalysator, instrument för mätning och felsökning i digitala system, t.ex. datorer.

logikfamilj, inom digitaltekniken grupp av logiska kretsar med likartad fysikalisk uppbyggnad, t.ex. DTL, CMOS.

logikprogramspråk, typ av programspråk för datorer som bygger på idén att programmera direkt i predikatlogik.