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