Translation examples
Логика первого порядка это философская система рассуждений использующая утверждения типа "если/то" как квантификаторы или сказуемое
First order logic is a philosophical system of reasoning using "if/then" statements as quantifiers or predicates.