Entailment
Автор:
Jesse Russell,Ronald Cohn, 130 стр., издатель:
"Книга по Требованию", ISBN:
978-5-5127-6493-0
High Quality Content by WIKIPEDIA articles! In logic, entailment is a relation between a set of sentences (e.g., meaningfully declarative sentences or truthbearers) and a sentence. Let ? be a set of one or more sentences; let S1 be the conjunction of the elements of ?, and let S2 be a sentence: then, ? entails S2 if and only if S1 and not-S2 are logically inconsistent. S2 is called the logical consequent of ?; S1 is said to logically imply S2. Данное издание представляет собой компиляцию сведений, находящихся в свободном доступе в среде Интернет в целом, и в информационном сетевом ресурсе "Википедия" в частности. Собранная по частотным запросам указанной тематики, данная компиляция построена по принципу подбора близких информационных ссылок, не имеет самостоятельного сюжета, не содержит никаких аналитических материалов, выводов, оценок морального, этического, политического, религиозного и мировоззренческого характера в отношении главной тематики, представляя собой исключительно...