| French | Russian |
| arithmétique de Hilbert | арифметика Гильберта |
| avec la rigueur de la logique | со строгой логикой (Le Figaro, 2018 Alex_Odeychuk) |
| avec la rigueur de la logique | строго логично (Le Figaro, 2018 Alex_Odeychuk) |
| axiome de complètement | аксиома полноты |
| axiome de réductibilité | аксиома сводимости |
| carte de Karnaugh | карта Карно |
| carte de Karnaugh-Veitch | карта Карно - Вейтча |
| c'est sans doute très important pour y passer, y passer autant de temps | это, вероятно, очень важно, чтобы идти туда так долго (Alex_Odeychuk) |
| classe d'éléments de mêmes propriétés | класс элементов множества с одинаковыми свойствами |
| classe de consistance | непротиворечивый класс |
| contrôle de validité | контроль справедливости |
| contrôle de validité | контроль истинности |
| degré de l'insolubilité | степень неразрешимости |
| diagramme de Veitch | диаграмма Вейтча |
| diagramme de Venn | диаграмма Венна |
| fonction de relais | релейная функция |
| forme de prédiction | предварённая форма |
| formule de congruence | конгруэнтная формула |
| loi de contraposition | закон контрапозиции |
| loi de développement | закон развёртывания |
| permettre de caractériser la notion | позволить определить содержание понятия (de ... (сущ. в ед.ч. без неопред. артикля) - ... такого-то | содержание понятия — совокупность существенных и отличительных признаков предмета, качества или множества однородных предметов, отражённых в этом понятии, поскольку с точки зрения логики всякое понятие имеет содержание и объём Alex_Odeychuk) |
| principe de dualité | принцип дуальности |
| problème de continuum | проблема континуума |
| problème de la décision | проблема разрешимости |
| procédure de la résolution | разрешающая процедура |
| règle de dualité | правило двойственности |
| schéma de démonstration | схема доказательства |
| servir de preuves aux assertions | служить доказательствами утверждений (financial-engineer) |
| table de vérité | истинностная таблица |
| table de vérité | таблица истинности |
| théorie de types | теория типов |
| valeur de vérité | значение истинности |
| valeur de vérité | истинное значение |
| valeur de vérité | истинностное значение |
| à partir de là | из этого вытекает, что (Vous prétendez que l’homme n’est pas libre; à partir de là, nos actions ne seraient ni bonnes, ni mauvaises. Alex_Odeychuk) |
| à partir de là | из этого следует, что (Vous prétendez que l’homme n’est pas libre; à partir de là, nos actions ne seraient ni bonnes, ni mauvaises. Alex_Odeychuk) |
| à partir de là | отсюда следует, что (Vous prétendez que l’homme n’est pas libre; à partir de là, nos actions ne seraient ni bonnes, ni mauvaises. Alex_Odeychuk) |
| élément de coïncidence | элемент совпадения |
| élément de non-équivalence | элемент неравнозначности |
| élément de non-équivalence | элемент отрицания эквивалентности |
| éléments de connaissance | элементы познания (понятие, суждение) |
| équation de la récursion | рекурсивное уравнение |
