| rdfs:comment
| - في المنطق، تكون أي مناقشة صحيحة فقط إذا كانت نتيجتها متضمنة بشكل منطقي بواسطة مقدماتها المنطقية وكانت كل خطوة في المناقشة منطقية. وتكون صيغة صحيحة فقط إذا كانت صحيحة وفق كل تفسير، وتكون صيغة المناقشة (أو خطتها) صحيحة فقط إذا كانت كل مناقشة بهذه الصيغة المنطقية صحيحة. (ar)
- En logique, la validité est la manière dont les prémisses et la conclusion concordent logiquement dans les arguments réussis. (fr)
- ある論証が、前提が全て真であれば結論も必ず真となるような形になっている時、その論証を妥当(だとう、英: Validity）であるという。より厳密に表現すると、『全ての前提が真である』ことと『結論が偽である』ことが決して両立しない論証を妥当であるという。 論証が妥当であるか否かはその形によってのみ決まり、個々の文の真理値は問わない。論証の妥当性は結論が真であることを保証しない（妥当な論証でも前提に偽があれば結論も偽になりうる）し、妥当でない論証（「不当; invalid」と表現することがある）の結論が偽とも限らない。 妥当であり、かつ全ての前提が真である論証を健全な論証という。妥当性および健全性の定義により、健全な論証の結論は常に真である。 (ja)
- 논리학에서 타당(妥當, 영어: valid)한 논증이란, 추론이 논리법칙에 맞아서 참인 전제로부터 거짓인 결론이 도출되지 않는다는 뜻이다. 또한 그러한 성질을 타당성(영어: validity)이라 한다. 추론의 타당성에서는 추론과정의 형식성만이 문제가 되는 것으로 전제가 참인지의 여부는 관계가 없다. (ko)
- O termo validade (também chamada verdade lógica, verdade analítica, ou verdade necessária), em lógica, refere-se geralmente a uma propriedade de enunciados particulares e de argumentos dedutivos. (pt)
- I logiken, närmare bestämt i ett deduktivt resonemang, är ett argument giltigt om och endast om det har en form som gör det omöjligt för premisserna att vara sanna samtidigt som slutsatsen är falsk. Det är inget krav på att ett giltigt argument har premisser som faktiskt är sanna, utan att det finns premisser som, om de var sanna, skulle garantera sanningen i argumentets slutsats. Giltiga argument måste uttryckas tydligt med hjälp av meningar som kallas (på engelska, Well-formed formula). Giltigheten av ett argument - att det är giltigt - kan testas, bevisas eller motbevisas och beror på dess logiska form. (sv)
- У логіці аргумент є чинним тоді і тільки тоді, коли істинність висновку гарантується істинністю припущень. Необов'язково, щоб чинний аргумент мав фактично істинний засновок, але необхідно, щоб він мав засновки, які, якщо вони істинні, гарантували правдивість висновків аргументу. Формула є чинною тоді й лише тоді, якщо вона істинна у кожнім тлумаченні. Форма чи схема аргументу чинна тільки тоді, коли кожен аргумент є чинним. (uk)
- De manera general es diu que quelcom té validesa perquè té, i se li reconeix, la qualitat de posseir un valor determinat, o bé la capacitat o eficàcia per realitzar el valor que se suposa ha de tenir. El coneixement en general adquireix un "valor de veritat" especial quan és reconegut com a veritable per una comunitat. S'entén per validesa d'un coneixement el fet de ser reconegut com a veritable per una comunitat determinada. La validesa del coneixement admet diverses formes i requisits segons els camps o àmbits en què manifesta la seva validesa: es pot parlar aleshores de validesa sociològica, ètnic-cultural, religiosa, màgica, etc, cadascuna amb els seus criteris i formes d'acceptació i reconeixement. (ca)
- In einer formalen Logik oder einem Kalkül bezeichnet man eine Formel als allgemeingültig oder gültig, wenn sie von jeder beliebigen Interpretation erfüllt wird. Die Allgemeingültigkeit ist also ein spezieller Fall der Erfüllbarkeit einer Formel. Während die bloße Erfüllbarkeit bereits gegeben ist, wenn sich nur eine einzige erfüllende Interpretation – ein sogenanntes Modell – findet, so sind im Falle einer allgemeingültigen Formel alle Interpretationen Modelle. (de)
- En lógica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la conclusión. Si la conclusión es una consecuencia lógica de las premisas, se dice que el argumento es deductivamente válido. Algunos consideran estas dos nociones idénticas y usan ambos términos indistintamente. Otros, sin embargo, consideran que puede haber argumentos que no sean deductivamente válidos, como las inducciones. En cualquier caso, de las inducciones a veces se dice que son buenas o malas, en vez de válidas o inválidas. Ejemplos de argumentos deductivamente válidos son los siguientes: (es)
- In logica, la nozione di validità (validità logica) riguarda innanzitutto, ed in senso generale, la connessione tra l'insieme delle premesse di un argomento e la sua conclusione, all'interno di una argomentazione (es. sillogismo). In un argomento, le premesse devono in qualche modo giustificare l'affermazione della conclusione: esse devono fornire un fondamento all'affermazione della conclusione. Questa giustificazione deve a sua volta inevitabilmente fondarsi su una connessione tra l'insieme delle premesse e la conclusione: è perché le premesse sono connesse in un certo modo alla conclusione, che le premesse rappresentano una ragione per l'affermazione della conclusione. (it)
- In logic, specifically in deductive reasoning, an argument is valid if and only if it takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false. It is not required for a valid argument to have premises that are actually true, but to have premises that, if they were true, would guarantee the truth of the argument's conclusion. Valid arguments must be clearly expressed by means of sentences called well-formed formulas (also called wffs or simply formulas). (en)
- Общезна́чимость — свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в неё нелогических символов, то есть предикатных и пропозициональных переменных. Логические формулы, обладающие этим свойством, называют общезначимыми, или тождественно истинными, или тавтологиями. Всякая общезначимая формула выражает логический закон. Вместо слов «формула A общезначима» часто пишут: . (ru)
- 逻辑学中，一个演绎论证或论据（argument）是「有效的（valid）」，当且仅当它没有所有前提为真同时结论为假，并且它的结论跟随前提的逻辑，否则它是无效的。一个有效的演绎论证并不必需要它的部分前提或结论为真，但是如果它所有的前提为真，那么它的结论必为真。 我們可以引入內在矛盾（internally contradictory）的概念來定義「有效性（validity）」：「對於任何論證而言(假設它的所有前提所組成的集合不是內在矛盾的)，如果由它的所有前提以及對於結論的否定所共同組成的語句集合是內在矛盾的，則該論證是有效的。」在定義中之所以有「假設所有的前提所組成的集合不是內在矛盾的」這樣的一個但書，是因為從矛盾的前提可以推導出任何的結論，這一性質在自然演繹法（natural deduction）中是顯然的。 一个论证的有效性可以被检验、证明或反驳，并取决于它的逻辑形式。 一个重言式，或重言公式，是真值泛函有效的。不是所有量化逻辑的有效的公式都是重言式。参见真值表。 (zh)
|
.svg)
![[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)