Результати пошуку

[[Індуктивний умовивід|Індуктивні умовиводи]] широко застосовуються в [[наука|науці]]. Думка про і ...гік]] [[Гудман Нельсон|Нельсон Гудман]] пропонував доповнити [[Індуктивний умовивід|індуктивну логіку]] обмеженням, згідно з яким явище не повинно розглядатися ...

...ежність до функційного) вигляд правила висновування, де турнікет означає [[Умовивід|відношення вивідності]], що виконується між передумовами на висновком. ...ти, що це правило є прийнятним, розгляньте виведення передумови, і зробіть індуктивний перехід за ним, отримавши виведення <math>n \,\,\mathsf{nat}</math>.) Але в ...

[[Умовивід|Висновком]] статистичного висновування є статистичне [[висловлення]].<ref>{ [[Категорія:Індуктивний умовивід]] ...

[[Категорія:Індуктивний умовивід]] ...

...а даних фактів, система ІЛП виводитиме гіпотетичну логічну програму, яка [[Умовивід|має наслідками]] всі позитивні приклади й жодного з негативних. {{нп|Індукт ...Volume 2. Morgan Kaufmann Publishers Inc., 1981. {{ref-en}}</ref> Термін ''індуктивний'' тут стосується [[Індукція (логіка)|філософської]] індукції, що пропонує т ...