logic логика 9 UDC 004.42:510.69 8 УДК 004.42:510.69 8 логіка 8 logical consequence 7 логічний наслідок 7 логическое следствие 5 предикат 5 predicate 4 секвенційне числення 4 algebra 3 equality 3 sequent calculus 3 алгебра 3 composition 2 non-deterministic predicate 2 partial predicate 2 semantics 2 композиция 2 недетерминированный предикат 2 недетермінований предикат 2 равенство 2 рівність 2 секвенциальное исчисление 2 семантика 2 частковий предикат 2 7-valued predicate 1 7-зна­чный предикат 1 7-значний предикат 1