Terms for subject Mathematics containing logique

French	Russian
addition logique	дизъюнкция
algèbre de la logique	алгебра логики
antinomie logique	логическая антиномия
axiome logique	логическая аксиома
calcul logique	исчисление предикатов
calcul logique	логическое исчисление
calcul logique du premier ordre	узкое исчисление предикатов
calcul logique du second ordre	расширенное исчисление предикатов
chaîne logique	цепочка умозаключений (ssn)
conclusion logique	логический вывод
connecteur logique	логическая связка
connecteur logique	символ логической операции
constante logique	логическая постоянная
déduction logique	логический вывод
erreur logique	тождественно ложное высказывание
expression logique	логическое выражение
implication logique	логическая импликация
logique chrisippienne	хризиппова логика (ssn)
logique classique	классическая логика (ssn)
logique constructive	конструктивная логика (ssn)
logique des propositions	пропозитивная логика (ssn)
logique des relations	логика отношений (ssn)
logique des types	логика типов
logique extensionnelle	экстенсиональная логика
logique intentionnelle	интенсиональная логика
logique intuitionniste	интуиционистская логика
logique minimale	минимальное исчисление высказываний
logique positive	позитивная логика
logique positive	логика без отрицания
logique positive	положительная логика
logique probabiliste	вероятностная логика
logique quadrivalente	четырёхзначная логика
loi logique	логический закон
machine logique	логическая машина
mathématico-logique	логико-математический
modèle mathématico-logique	логико-математическая модель
nécessité logique	тождественно истинное высказывание
ordinateur logique	логическая вычислительная машина
paradoxe logique	логический парадокс
programme logique	логическая профамма
règle de logique	логическое правило вывода
structure logique	монотонная структура
structure logique	когерентная система
système logique formel	формальная логическая система
valeur logique	значение истинности
valeur logique	истинностное значение
égalité logique	эквивалентность
équivalence logique	логическая эквивалентность