| rdfs:comment
| - En lògica, la solidesa és la propietat que tenen els arguments quan són vàlids i les seves premisses són totes vertaderes. Si un argument és deductivament vàlid i és sòlid, la seva conclusió serà necessàriament veritable. (ca)
- الصحة ("السلامة") في المنطق الرياضي وصف للنظام الصوري (الشكلي) الذي أثبتت قواعد الاستدال أن المعادلات صحيحة بالنسبة لمدلولاته. وفي معظم الحالات يرجع ذلك إلى قواعدها التي تتميز بخاصية الحفاظ على الحقيقة، ولكن ليس الحال كذلك عمومًا. (ar)
- En logique, la forme d'une argumentation déductive est correcte si et seulement si elle est valide et que toutes ses prémisses sont effectivement vraies. En logique formelle, un système logique est correct si on peut lui associer une sémantique (on dit aussi un modèle) qui le justifie. La correction indique donc que les règles d’un tel système mettent en œuvre des raisonnements qui font du sens, puisqu'on peut les interpréter. (fr)
- In logic, more precisely in deductive reasoning, an argument is sound if it is both valid in form and its premises are true. Soundness also has a related meaning in mathematical logic, wherein logical systems are sound if and only if every formula that can be proved in the system is logically valid with respect to the semantics of the system. (en)
- 논리학에서 건전성(영어: soundness)이란, 형식 체계 내에서 증명가능한 명제(즉 정리)가 의미론 상으로도 참이 되는 성질이다. 이는 논리학에서 완전성의 역개념이 된다. (ko)
- 健全性（けんぜんせい、英: Soundness）は、論証が次の属性を持つことと同値である。 1.
* その論証は妥当である。 2.
* その前提の全てが真である。 論理体系における証明（例えば自然演繹）が健全（sound）であるとは、妥当な論理式（あるいは恒真式）のみを証明することを意味する。すなわち、論理体系が健全であるとは、 が を含意することをいう。 (ja)
- Na lógica matemática, um sistema lógico possui a propriedade da correção se e somente se suas regras de inferências demonstram somente fórmulas que são válidas do ponto de vista de sua semântica. Geralmente, esta propriedade consiste na preservação da verdade por parte das regras do sistema. (pt)
- Inom logik och argumentationsanalys är ett logiskt sunt argument ett sådant argument vars slutsats logiskt följer från premisserna och premisserna dessutom är sanna. (sv)
- У математичній логіці, логічна система має властивість правильності тоді і тільки тоді, коли її правила виводу доводять тільки формули, що є чинними щодо її семантики. Здебільшого, це зводиться до того, що її правила мають властивість збереження істини, проте це не так у загальному випадку. (uk)
- 可靠性定理（或健全性）是数理逻辑的最基本结果。它们有关于某个形式逻辑语言与这个语言的形式演绎系统的特定语义理论。可靠性定理有两种主要变体：弱可靠性的和强可靠性的。“强”与“弱”的意义在于，强可靠性考虑句子的任意集合，而与弱可靠性有关的句子的空集是这种集合之一。大多数的演绎系统，强可靠性和弱可靠性都成立，但並非全部的演繹系統都如此。 (zh)
- Korrektheit (englisch soundness) ist eine wichtige Eigenschaft formaler Systeme oder Kalküle und betrifft den Zusammenhang zwischen Syntax und Semantik, der umgangssprachlich lautet: Was formal ableitbar ist, ist auch wahr, soweit die Prämissen der Ableitung wahr sind. (de)
- En lógica, la solidez (en inglés soundness) es la propiedad que tienen los argumentos cuando son válidos y sus premisas son todas verdaderas. Si un argumento es deductivamente válido, entonces si es sólido, su conclusión será necesariamente verdadera. Por ejemplo, considérese el siguiente argumento: 1.
* Todos los hombres son mortales. 2.
* Todos los griegos son hombres. 3.
* Luego, todos los griegos son mortales. Este argumento es sólido, porque por un lado es válido, y por otro lado las premisas son todas verdaderas. Pero considérese el siguiente argumento: (es)
- In logica matematica, la correttezza o validità (in inglese soundness) è una proprietà fondamentale delle regole logiche e dei . Una regola logica (o regola di inferenza o regola di derivazione) è corretta se la conclusione è conseguenza logica delle (ossia, segue necessariamente dalle) premesse: se sono vere tutte le premesse allora è necessariamente vera la conclusione (o equivalentemente, non è possibile che le premesse siano tutte vere e la conclusione falsa). Ciò significa che, lette dall'alto verso il basso (dalle premesse alla conclusione), le regole logiche corrette preservano la verità, o equivalentemente, lette dal basso verso l'alto (dalla conclusione alle premesse) le regole logiche corrette preservano la falsità (se la conclusione è falsa, allora è necessariamente falsa almeno (it)
- Correctheid is een begrip uit de logica. Een redenering is correct wanneer deze geldig is en alle premissen van de redenering evident waar zijn. Met een geldige redenering wordt in de logica en argumentatietheorie een redenering bedoeld die qua vorm voldoet aan de voorwaarden van een goede deductieve redenering. Dat wil zeggen dat de conclusie noodzakelijk uit de premissen volgt. Een redenering is dus geldig dan en slechts dan als men de conclusie niet kan ontkennen zonder in tegenspraak te komen met de premissen. Het is niet noodzakelijk voor een geldige redenering dat de premissen zelf waar zijn: als de vorm van de redenering zelf maar klopt. (nl)
|
![[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)