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