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