Also known as entailment, asserted relation, implies, logically implies, logical implication
fundamental concept in logic
Умозаключение — одна из форм мышления, с помощью которого из одного или нескольких суждений строится новое суждение. С точки зрения логики высказываний, умозаключение — это шаг логического вывода, непосредственное выведение высказывания-заключения из одного или более высказываний («посылок»), простейшее рассуждение. В логике умозаключение записывается в виде горизонтальной черты, над которой стоят посылки, а под чертой записывается заключение. Например, Умозаключения (отдельные шаги вывода) разделяют: 1. * По числу посылок: 2. 1. * непосредственные; 3. 2. * опосредованные. 4. * Опосредованные в свою очередь делятся по признаку направления логического следования: 5. 1. * дедуктивные (от общего к частному); 6. 2. * индуктивные (от частного к общему); 7. 3. * трансдуктивные (от одной степени общности к такой же степени общности). 8. * По достоверности вывода: 9. 1. * демонстративные (достоверные), где истинность посылок напрямую связана с истинностью заключения (информация в заключении является частью информации в посылках). Такие умозаключения обычно встречаются в точных науках, особенно в математике, чаще в форме дедуктивных умозаключений (где правильность гарантируется самой формой логического следования), но также и в виде математической индукции, полной индукции, , где на истинность влияют, кроме формы, и значения входящих в рассуждение терминов; 10. 2. * недемонстративные, где в процессе рассуждения добавляется информация, и потому истинность вывода не гарантирована даже в случае истинности посылок. К числу таких правдоподобных рассуждений относятся , , , выводы статистики. Правдоподобные умозаключения используются при выдвижении гипотез и постулировании законоподобных утверждений в .
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).