deduction theorem
Определение

Определение deduction theorem - Английский словарь Reverso

Существительное

logic procedure for discharging assumptions in logic
  • The deduction theorem helps simplify logical proofs.

Примеры deduction theorem в предложении

  • Understanding the deduction theorem is crucial for logic students.
  • The deduction theorem is often used in mathematical logic.

Перевод deduction theorem на другие языки

Нажмите на любой язык ниже, чтобы увидеть переводы рядом с каждым значением!
  1. Арабский:

    مبرهنة الاستنتاج
  2. Бенгальский:

    ডিডাকশন থিওরেম
  3. Вьетнамский:

    định lý suy diễn
  4. Голландский:

    deductiestelling
  5. Греческий:

    θεώρημα αφαίρεσης
  6. Датский:

    deduktionsteorem
  7. Иврит:

    מִשְׁפָּט הַדְּדוּקְצִיָּה
  8. Испанский:

    teorema de deducción
  9. Итальянский:

    teorema di deduzione
  10. Каталанский:

    teorema de deducció
  11. Китайский:

    演绎定理
  12. Корейский:

    연역 정리
  13. Немецкий:

    Deduktionstheorem
  14. Персидский:

    قضیه استنتاج
  15. Польский:

    twierdzenie o dedukcji
  16. Португальский:

    teorema da dedução
  17. Португальский (Бр.):

    teorema da dedução
  18. Румынский:

    teorema deducției
  19. Русский:

    теорема о дедукции
  20. Тайский:

    ทฤษฎีการหักล้าง
  21. Турецкий:

    çıkarım teoremi
  22. Украинский:

    теорема про дедукцію
  23. Французский:

    théorème de déduction
  24. Хинди:

    डिडक्शन थ्योरम
  25. Шведский:

    deduktionsteorem
  26. Японский:

    推論定理

Узнайте значение deduction theorem и обогатите свой словарный запас

  • Четкие, понятные объяснения

    Исследуйте все значения ‘deduction theorem’ в интуитивном, приятном для чтения интерфейсе.

  • Примеры использования для каждого определения

    Узнайте, как правильно использовать ‘deduction theorem’ , благодаря наглядным примерам.

  • Тренируйте произношение

    Послушайте, как ‘deduction theorem’ произносится в американском и британском английском, и посмотрите транскрипции.

  • Нажмите на любое слово, чтобы запустить поиск

    Незнакомое слово в определении? Просто нажмите на него, чтобы просмотреть его значение.

  • Сохраняйте избранное

    Нажмите на иконку в форме звездочки, чтобы сохранить ‘deduction theorem’ в свой список.

  • Практикуйтесь с помощью Карточек

    Запоминайте ваши слова с помощью увлекательных карточек с аудио и примерами.

Reverso Define — Английские определения, которым можно доверять

500,000 значений

Найдется буквально что угодно: слово, выражение, аббревиатура, технический термин, современный сленг...

Нам доверяют 70 миллионов пользователей

включая учащихся, преподавателей языков и лингвистов

Отличная оценка 4.7

250,000+ отзывов в App Store и Play Store