| rdfs:comment
| - الاستتباع المنطقي أو التضمين أو الاقتضاء أو الاستلزام هو أحد المفاهيم الأساسية في المنطق، وهو يعبر عن العلاقة بين افتراضات تكون صحيحة عندما تلي كل خطوة التالية بتسلسل منطقي. إن مدى صحّة أي حجة منطقية يكون إذا أمكن وجود تالٍ من المقدمات، وإذا كانت نتائج الحجة هي نتائج فرضيتها. إن التحليل الفلسفي للتوالي المنطقية يتضمن السؤال: ما هو مقدار صواب استنتاج تال من فرضيته؟ وماذا يعني أن يكون الاستنباط تالياً للفرضيات؟. يمكن القول أن حجج المنطق الفلسفي تعطي أهمية بالغة لطبيعة التضمين أو الاقتضاء وكذلك للحقيقة المنطقية. (ar)
- La conseqüència, fonamental a la lògica, és la relació que hi ha entre un conjunt de proposicions (premisses) i una altra proposició darrera (conclusió) quan aquesta "se segueix" de les primeres . És, per tant, la relació que es dona entre premisses i conclusió en un argument lògicament correcte, i també és la relació que s'obté en un procés d'inferència deductiva o de demostració entre la proposició inferida o demostrada i les que s'han usat com a hipòtesi. (ca)
- En logiko, la logika konsekvenco estas la rilato inter la premisoj kaj la konkludo de argumento dedukte valida. La rilato de logika konsekvenco estas ŝlosila koncepto de la logiko. Du trajtoj ĝenerale akceptitaj de la rilato kun la logika konsekvenco estas ke tiu estas «necesa» kaj «formala». En PIV konsekvenco estas "Tio, kio logike sekvas el starigita principo" kaj "Logika aŭ racia interligiteco inter faktoj aŭ ideoj". (eo)
- En lógica, la consecuencia lógica es la relación entre las premisas y la conclusión de un argumento deductivamente válido. La relación de consecuencia lógica es un concepto central a la lógica. Dos características generalmente aceptadas de la relación de consecuencia lógica son que es «necesaria» y además «formal». (es)
- Konsekuensi logis, sering dianggap suatu konsep paling dasar dalam logika, adalah hubungan antara suatu kalimat (atau proposisi) dan kalimat lain (proposisi) sewaktu kalimat yang terakhir "mengikuti" kalimat sebelumnya. Suatu hubungan konsekuensi logis yang terspesifikasi dengan formal dapat dikarakterisasikan dengan teori model atau (atau keduanya). Konsekuensi logis dapat pula diekspresikan sebagai suatu fungsi dari himpunan kalimat terhadap himpunan kalimat lain (formulasi Tarski), atau sebagai hubungan antara dua himpunan kalimat. (in)
- 論理的帰結（ろんりてききけつ、伴意、英: logical consequence, entailment）は、論理学における最も基本的な概念であり、複数の文（または命題）の集合と1つの文（命題）の間が「～だから、当然～」という繋がり方をする関係を指す。例えば、「カーミットは緑色だ」という文は、「全てのカエルは緑色だ」と「カーミットはカエルだ」の論理的帰結である。 このような論理的帰結の確かさは、前提が真かどうか、および完全かどうかに依存する。この前提は全てのカエルが緑色でない場合は真ではないことになる。演繹による推論や論理的帰結は認識論の重要な面であり、因果に関する一般的仮説を伝達する意味を持つ。 形式的な論理的帰結関係はモデル理論的なものと証明論的なもの（あるいは両方）がある。 論理的帰結は、文の集合から文の集合への関数としても表現できる（タルスキ風の定式化）し、2つの文の集合の間の関係としても表現できる（multiple-conclusion logic）。 (ja)
- 논리적 귀결(論理的歸結, 영어: logical consequence, entailment)은 논리학에서 가장 기본적인 개념이자, 복수의 글 (또는 명제)의 집합과 하나의 글(명제)의 사이가 「~니까, 당연히~」라고 이어지는 관계를 가리킨다. 이를테면, 「커밋은 녹색이다」라는 글은, 「모든 개구리는 녹색이다」와 「커밋은 개구리다」의 논리적 귀결인 것이다. 이러한 논리적 귀결의 뚜렷함은 전제가 참(眞)인지 아닌지, 또는 완전한지 아닌지에 의존한다. 이 전제는 모든 개구리가 녹색이지 않을 경우에는 참이 아닌 것이 된다. 연역에 따른 추론이나 논리적 귀결은 인식론의 중요한 면이며, 인과에 관한 일반적 가설을 전달하는 의미를 가진다. 형식적인 논리적 귀결 관계는 모형이론적인 것과 증명이론적인 것(혹은 양쪽)이 있다. 논리적 귀결은 글의 집합에서 글의 집합으로의 함수로서도 표현할 수 있고(타르스키풍의 정식화), 두 글의 집합 사이의 관계로서도 표현할 수 있다(multiple-conclusion logic). (ko)
- 蕴涵（英語：Entailment）在命题逻辑和谓词逻辑中用来描述在两个句子或句子的集合之间的联系，一般使用⇒符号表示。 (zh)
- Ως λογική συνέπεια ορίζεται η σχέση που ισχύει μεταξύ ενός συνόλου προτάσεων ή και μίας πρότασης, ώστε η τελευταία να προκύπτει από το πρώτο. Η λογική συνέπεια είναι ίσως η πλέον θεμελιώδης έννοια στην Λογική. Για παράδειγμα, η πρόταση «Ο Κέρμιτ είναι πράσινος» αποτελεί λογική συνέπεια του συνδυασμού «όλοι οι βάτραχοι είναι πράσινοι» και «ο Κέρμιτ είναι βάτραχος». Λογικές συνέπειες οι οποίες είναι τυπικά προδιαγεγραμμένες ονομάζονται ή . Οι λογικές συνέπειες μπορούν επίσης να εκφραστούν ως συναρτήσεις συνόλων προτάσεων προς σύνολα προτάσεων ή ως σχέσεις μεταξύ δύο συνόλων προτάσεων. (el)
- Die Bezeichnung Implikation (von lateinisch implicare ‚verwickeln‘; Verb: implizieren; Adjektiv: implizit) wird in der Logik nicht einheitlich für einen bestimmten logischen Zusammenhang verwendet; insbesondere werden unterschieden: Als Varianten einer deduktionmäßigen formalen Implikation können auch die bzw. Subjunktion innerhalb der dialogischen Logik sowie die von Ackermann und ebenso die angesehen werden. Von Bruno von Freytag-Löringhoff und Albert Menne wurde die Implikation als hypothetisches Urteil formalisiert. (de)
- Logical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically follows from one or more statements. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises. The philosophical analysis of logical consequence involves the questions: In what sense does a conclusion follow from its premises? and What does it mean for a conclusion to be a consequence of premises? All of philosophical logic is meant to provide accounts of the nature of logical consequence and the nature of logical truth. (en)
- La déduction logique est un type de relation que l'on rencontre en logique mathématique. Elle relie des propositions dites prémisses à une proposition dite conclusion et préserve la vérité. Prémisses et conclusion qui sont ainsi reliées par une règle de déduction, assurent que si la règle est valide et si les prémisses sont vraies, la conclusion est elle aussi vraie. On dit alors que la conclusion est une conséquence des prémisses, ou parfois que la conclusion vient des prémisses. L'analyse philosophique pose des questions comme « Dans quel sens une conclusion vient-elle des prémisses? » ou « Que signifie pour une conclusion d'être une conséquence de certaines prémisses ? ». La logique philosophique peut donc être définie comme la compréhension et l’analyse de la nature des conséquences lo (fr)
- Implikacja logiczna (wynikanie) – relacja (lub w innym ujęciu symbol relacyjny) pomiędzy teoriami (zbiorami zdań logicznych) i jest spełniona, gdy każdy model teorii jest także modelem teorii Często jest mylona z implikacją materialną, będącą szczególnym przypadkiem zdania. Bez odwoływania się do teorii modeli można stwierdzić, że implikacja logiczna jest prawdziwa wtedy i tylko wtedy, gdy nie jest możliwe, że zdanie jest fałszywe i jednocześnie wszystkie zdania są prawdziwe. Implikacja logiczna jest oznaczana: (pl)
- Een logisch gevolg of logische consequentie is zowel in de logica als in de wiskunde de tweeplaatsige relatie tussen een verzameling zinnen en/of proposities, waarbij de laatste zin/propositie een logische implicatie is van de voorafgaande. Logische gevolgen zijn het resultaat van deductie en vormen een fundamenteel concept binnen de logica. Logische gevolgen worden samen met gevolgtrekkingen in de epistemologie gebruikt om tot hypotheses omtrent de causaliteit van risicofactoren te komen. (nl)
- Consequência lógica é um conceito fundamental na lógica. Trata-se de uma relação entre um conjunto de sentenças (ou proposições) e uma sentença (proposição), na qual o primeiro acarreta o segundo. Por exemplo, diz-se que "Caco é verde" é uma consequência lógica de "todos os sapos são verdes" e "Caco é um sapo", porque seria "auto-contraditório" afirmar estas últimas sentenças e negar a primeira. A consequência lógica é a relação entre as premissas e a conclusão de um argumento válido. Estas definições tendem a ser circulares; fornecer uma explicação razoável para consequência lógica e para o acarretamento constitui um tópico importante da Filosofia da lógica. (pt)
- En konsekvens är en slutsats, dragen med stöd av en eller flera premisser. I ett formellt system sägs ett påstående vara en satslogisk konsekvens av ett antal premisser, om och endast om det tautologt impliceras av dessa. I ett formellt system är ett uttryck A, en syntaktisk konsekvens av en mängd premisser om och endast om det finns en härledning av A från premissmängden. (sv)
- Умовивід (міркування) — форма мислення в результаті якого з 1 або кількох суджень виводиться нове судження — висновок. Термін «умовивід» вживається у подвійному значенні. Під «умовиводом» розуміють і розумовий процес виведення нового знання із суджень, і саме нове судження як наслідок розумової операції. Умовивід за своєю структурою складніша, ніж поняття і судження, форма мислення. Поняття і судження входять до складу умовиводу як його елементи. Будь-який умовивід складається із засновків та висновку. Засновки — це судження, із яких виводиться нове знання. (uk)
- Умозаключение — одна из форм мышления, с помощью которого из одного или нескольких суждений строится новое суждение. С точки зрения логики высказываний, умозаключение — это шаг логического вывода, непосредственное выведение высказывания-заключения из одного или более высказываний («посылок»), простейшее рассуждение. В логике умозаключение записывается в виде горизонтальной черты, над которой стоят посылки, а под чертой записывается заключение. Например, Умозаключения (отдельные шаги вывода) разделяют: (ru)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)