| rdfs:comment
| - الحقيقة المنطقية هي واحدة من أهم المفاهيم في المنطق. (ar)
- Prawda – jedna z dwóch podstawowych wartości logicznych. Drugą jest fałsz. Według filozoficznej koncepcji matematycznego formalizmu prawda jest jedynie symbolem i nie ma żadnego głębszego znaczenia, czym różni się od swojego potocznie używanego odpowiednika. W koncepcji matematycznego platonizmu prawda posiada swój wewnętrzny sens. Wyrażenie zawsze prawdziwe, z powodu swojej konstrukcji logicznej, to tautologia. (pl)
- Logisk sanning kallas en sats inom logiken, som är sann för varje tillordning av sanningsvärden till dess satssymboler. En närbesläktad term är "tautologi". Tautologier kan antingen ses som synonymt med, eller som ett exempel, på logisk sanning. Två exempel på logiska sanningar är: Lagen om det uteslutna tredje respektive Kontrapositionsregeln (sv)
- 邏輯真理是逻辑学的一个基础概念，它指的是无须借助于感性经验，仅依靠一定的逻辑推理即可判定其必然为真的真理。逻辑真理虽不直接与经验相联系，但这并不意味着它与经验徹底无关。 (zh)
- Una veritat lògica és una fórmula ben formada d'un llenguatge formal que és veritable sota totes les interpretacions dels components (diferents de les constants lògiques ) d'aquest llenguatge. En alguns contexts, les veritats lògiques es coneixen com a fórmules lògicament vàlides (que tenen validesa lògica ). Hi ha dues característiques generalment acceptades de les veritats lògiques: que són formals i que són necessàries. Que siguin formals implica que qualsevol instanciació d'una veritat lògica és també una veritat lògica. Que siguin necessàries significa que és impossible que siguin falses, és a dir que en totes les situacions contrafàctiques, les veritats lògiques segueixen sent veritats lògiques. (ca)
- Una verdad lógica o verdad matemática es una fórmula bien formada de un lenguaje formal que es verdadera bajo todas las interpretaciones de los componentes (distintos de las constantes lógicas) de ese lenguaje. En algunos textos y contextos (v.g. cálculo lógico y lógica matemática), las verdades lógicas se conocen como fórmulas lógicamente válidas (que tienen validez lógica). Algunos ejemplos conocidos de verdades lógicas en la lógica proposicional son:
*
*
* Y en la lógica de primer orden:
*
*
* Y en la lógica de segundo orden:
*
* (es)
- Logical truth is one of the most fundamental concepts in logic. Broadly speaking, a logical truth is a statement which is true regardless of the truth or falsity of its constituent propositions. In other words, a logical truth is a statement which is not only true, but one which is true under all interpretations of its logical components (other than its logical constants). Thus, logical truths such as "if p, then p" can be considered tautologies. Logical truths are thought to be the simplest case of statements which are analytically true (or in other words, true by definition). All of philosophical logic can be thought of as providing accounts of the nature of logical truth, as well as logical consequence. (en)
- La vérité logique est l'un des concepts les plus fondamentaux de la logique. D'une manière générale, une vérité logique est une proposition qui est vraie indépendamment de la vérité ou la fausseté de ses propositions constitutives. En d'autres termes, une vérité logique est une affirmation qui n'est pas seulement vraie, mais qui est vraie sous toutes les interprétations de ses composants logiques (autres que ses constantes logiques). Ainsi, des vérités logiques telles que "si p, alors p" peuvent être considérées comme des tautologies. On pense que les vérités logiques sont le cas le plus simple d'énoncés qui sont analytiquement vrais (ou en d'autres termes, vrais par définition). Toute la logique philosophique peut être considérée comme fournissant des comptes rendus de la nature de la vér (fr)
- 論理的真理（ろんりてきしんり、英語: logical truth）は、論理学の基本的な概念の一つであり、その性質については様々な説がある。論理的真理とは、真であり、かつ、論理定項以外の構成要素を全てしても真であり続けるのことである。これはの一種である。全ての哲学的論理学は、論理的帰結と同様に、論理的真理の性質についての説明を提供していると考えることができる。 論理的真理（恒真式を含む）は、必然的真理(necessarily true)であると考えられる真理である。これは、それが真実でないことはありえないと考えられ、論理的真理が拒否されるような状況は生じないと考えられるということを意味している。それは、直感、実践、信念の総体(body of beliefs)のあらゆる意味で真理でなければならない。しかし、「必然的」真理でなければならない言明があるということは、普遍的には認められていない。 論理的真理の存在は、理性主義の哲学者によって経験主義への反論として提唱されてきた。なぜなら彼らは、論理的真理の知識を経験主義的に説明することは不可能だと考えているからである。経験主義者はこの反論に対し、論理的真理（彼らは通常、これは単なる恒真式であると考えている）は分析的なものであり、世界を説明することを目的としていないと主張している。 (ja)
- Verdade lógica é um dos conceitos mais fundamentais na lógica. Existem diferentes teorias sobre sua natureza. Uma verdade lógica é uma declaração verdadeira, ela permanece verdadeira independentemente de diferentes interpretações sobre seus componentes em detrimento de suas constantes lógicas. É um tipo de declaração analítica. Toda lógica filosófica pode ser reescrita e trabalhada com verdades lógicas, o mesmo pode ser feito para consequência lógica.[1] (pt)
- Логічна істина є одним з фундаментальних понять логіки, та існують декілька теорій, які її обґрунтовують. Логічна істина — це твердження, яке є правильним, та залишається правильним при будь-яких інтерпретаціях або значеннях його логічних констант. Це один з типів аналітичних тверджень. Усі складові філософської логіки можна розглядати як забезпечення оцінки характеру логічної істини, а також логічного наслідку. (uk)
|
![[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)