Wissenschaftliche Lehre über Struktur und Verknüpfung von Aussagen, die es ermöglicht, eindeutige und folgerichtige Zuordnungen und Schlussfolgerungen zu finden, die sich nicht widersprechen.
Auch bei Schaltungen, speziell bei den integrierten Schaltungen eines Chips, wird häufig von einer Logik gesprochen. Der Grund dafür besteht darin, dass hier Bausteine verwendet werden, die logische Verknüpfungen (und, oder, nicht usw.) vornehmen, so genannte Gatter.