predicate предикат 6 UDC 004.42:510.69 5 logical consequence 5 УДК 004.42:510.69 5 логическое следствие 5 логічний наслідок 5 logic 4 логика 4 логіка 4 equality 3 равенство 3 semantics 2 sequent calculus 2 рівність 2 секвенциальное исчисление 2 секвенційне числення 2 семантика 2 automated process control systems 1 composition 1 critical information infrastructure 1 critical systems 1 cybersecurity 1 free-quantifier logic 1 renomination 1 risk 1 superposition 1 Ключевые слова: бескванторная логика 1 автоматизовані сис-теми управління технологічними процесами 1 безкванторна логіка 1