Get a Language Tutor
If you have questions about the conjugation of сказуемое or Russian nouns in general, you can practice and get feedback from a professional tutor.
Логика первого порядка это философская система рассуждений использующая утверждения типа "если/то" как квантификаторы или сказуемое
First order logic is a philosophical system of reasoning using "if/then" statements as quantifiers or predicates.