olemus
(1) mõtlemise reeglite, struktuuride ja vormide teadus
= the study of correct reasoning
https://en.wikipedia.org/wiki/Logic
https://plato.stanford.edu/entries/logic-classical/
https://plato.stanford.edu/entries/logic-ontology/
https://en.wikipedia.org/wiki/Philosophy_of_logic
https://www.collegepublications.co.uk/eol/

(2a) formaalse järeldamise süsteem
= a system of formal inference
(2b) formaalsete suunamisprintsiipide süsteem
= a system of formal guiding principles
(2c) sündmuseseoste süsteem
= event association system
http://hummedia.manchester.ac.uk/institutes/methods-manchester/docs/formal-logic.pdf
https://press.rebus.community/intro-to-phil-logic/chapter/chapter-3-formal-logic-in-philosophy/
https://en.wikipedia.org/wiki/Business_logic

(3) loogikaoperatsioonide jm mittearitmeetiliste
otsustuslike operatsioonide kogum arvutisüsteemis
= a set of logic operations and other non-arithmetic decision-making operations in a computer system
https://en.wikipedia.org/wiki/Arithmetic_logic_unit

(4) loogikaseadiste süsteem
= a system of logic devices
https://www.autodesk.com/products/eagle/blog/you-shall-not-pass-how-logic-gates-work-in-digital-electronics/
https://en.wikipedia.org/wiki/Logic_gate

(5) virtuaalmõõde vastandina füüsilisele
= the virtual dimension as opposed to the physical
https://subscription.packtpub.com/book/application_development/9781786469809/3/ch03lvl1sec22/understanding-physical-and-logical-devices
https://docs.lansa.com/14/en/lansa076/content/lansa/l4wmod_290.htm

vt ka
- formaalloogika
- kahjurloogika
- loogikaelement
- loogikafunktsioon
- loogikaoperatsioon
- loogikapomm
- loogikaseadis
- loogikaskeem
- loogikatehe
- matemaatiline loogika
- sümbolloogika
- talitlusloogikakiht
- loogiline draiv
- loogiline korrutis
- loogiline nihe
- loogiline pääs
- loogiline turvalisus
- loogiline turve
- loogiline võrdlus
- loogiline võtmehierarhia
- loogiline võtmestruktuur
- loogiline ühtsus
- loogilise lüliohje kiht
- loogilise pääsu meetmed