ПРАВИЛО ЗА ОТТЕГЛЯНЕ

един правилото

според правилата - официално

наруши правилото

2 правило за оттегляне

3 правило за оттегляне

  1. правило за извод
  • телекомуникации, основни понятия

  • правило за извод

4 правило за оттегляне

логично заключение - извод

производствено правило

умозаключваща верига

машина за извод

формално заключение

правило индукция - правило индукция

пет правило за оттегляне

[lang name = "Russian"] правило за производство

[lang name = "руски"] въвеждане на правило

6 правило за оттегляне

производствено правило

правило индукция - правило индукция

7 правило за композиционен извод

8 ляво рекурсивно правило за извод

девет правило (умозаключение)

десет правило за оттегляне

единадесет правило за извод на вяра

12 правило за извод

13 правилото за рекурсивно извеждане

14. правило за оттегляне

петнадесет правило за извод

16. правило за извод

17 правило за оттегляне

18. правило за оттегляне

19. правило за оттегляне

20. правило за оттегляне

Вижте и други речници:

ПРАВИЛО ЗА ОТТЕГЛЯНЕ - метод за генериране на обекти, наречен заключение на V. p., от набор от обекти, наречен предпоставките на правилото; формулирането на смятането играе решаваща роля в описанието на смятанията (често дадено смятане има смисъл само в контекста на дадено смятане) ... Енциклопедия по математика

ПРАВИЛО ЗА ОТТЕГЛЯНЕ - правилото, което определя прехода от помещения към последствия; по-точно, правило, установяващо определен вид съответствие между определен набор от твърдения (формули), наречени предпоставки и едно определено твърдение (формула), ... ... Голям енциклопедичен речник

ПРАВИЛО ЗА ОТТЕГЛЯНЕ - определя прехода от помещения към последствия; по-точно установява съответствие между определен набор от твърдения (формули), наречен. помещения и едно определение. изявление (формула), наречено. логично. последицата от тези предпоставки ... ... ... Философска енциклопедия

Правило за извод - правило за трансформиране на определена формална система, дедуктивно правило, правило за разрешение, което регулира допустимите начини за преходи от определен набор от твърдения (съждения (вж. Решение), изявления (вж. Изявление) ... . Велика съветска енциклопедия

правило за оттегляне - - [http: //www.iks media.ru/glossary/index.html?glossid=2400324] Телекомуникационни теми, основни понятия EN правило за извод ... Ръководство за технически преводач

правило за оттегляне - правилото, което определя прехода от помещения към последици. П. в. показва как твърдения, чиято истинност е известна, могат да бъдат модифицирани, за да се получат нови истински твърдения. Например правилото за разделяне гласи, че ако ... Речник на логическите термини

ПРАВИЛО ЗА ОТТЕГЛЯНЕ - правилото, което определя прехода от помещения към последствия; по-точно правилото, установяващо дефиницията. съответствие между определен набор от твърдения (формули), наречен предпоставки, и една дефиниция. твърдение (формула), наречено логично ... Естествена наука. енциклопедичен речник

Правило на резолюциите - При математическата логика и автоматичното доказване на теореми правилото за резолюция е правило за извод, което се връща към метода за доказване на теореми чрез търсене на противоречия; използва се в логиката на предложенията и логиката на предикатите от първи ред ... Уикипедия

правило за оттегляне - правилото, което определя прехода от помещения към последствия; по-точно, правило, установяващо определено съответствие между определен набор от твърдения (формули), наречен предпоставки и едно определено твърдение (формула), ... ... Енциклопедичен речник

ПРАВИЛО ЗА ОТТЕГЛЯНЕ - Виж трансформация (3) ... Обяснителен речник на психологията

ПРОИЗВОДНО ПРАВИЛО - извод за дадено смятане, изводът е правило, заключението към което се извежда от неговите помещения в разглежданото смятане. Например, в предложението за смятане, правилото за извод е P. p., Тъй като в това смятане се извършва производността от помещения: ... ... Енциклопедия по математика