| rdfs:comment
| - Tautologie (z řeckého ταυτολογία, tautologia, výpověď o témže) je v logice vždy pravdivý složený[zdroj?] výrok. Je pravdivý vždy, bez ohledu na pravdivostní hodnotu jednotlivých částí takového výroku. Příkladem tautologie je výrok: „Buď bude zítra pršet, nebo zítra pršet nebude.“ (cs)
- الطَّوطُولُوجيا من الإغريقية ταυτολογία ومعناها «قول الشيء نفسه». ويقال عن جملة ما أنها طوطولوجية إذا دائما تقيم بالصواب أي أن نتيجتها دائما صحيحة مهما كانت قيمة المتغيرات أو تقييم الجمل الأولية أو المزاعم، كأن نقول «للمثلث ثلاثة رؤوس» أو «لا يوجد أعزب متزوج». (ar)
- Taŭtologio estas la uzo de redunda lingvo en parolado aŭ skribado, aŭ, simple dirite, "diri la saman aferon dufoje". En la studo de logiko, taŭtologio estas propozicio, kiu estas vera pro tio kion jam entenas difino. (eo)
- En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas. La construcción de una tabla de verdad es un para determinar si una fórmula cualquiera es una tautología o no. (es)
- Dalam logika matematika, tautologi adalah suatu pernyataan majemuk yang bernilai benar untuk setiap kemungkinan. Jadi, tautologi berlawanan dengan kontradiksi. Hal ini dapat dibuktikan menggunakan tabel kebenaran ataupun . Contoh tautologi adalah: Dari tabel di atas, bisa dilihat bahwa apapun nilai kebenaran premis p dan q, semua pernyataan di atas tetap bernilai benar, sehingga di-golongkan sebagai "Tautologi". (in)
- La tautologie (du grec ancien ταὐτολογία, composé de ταὐτό, « la même chose », et λέγω, « dire » : le fait de redire la même chose) est une phrase ou un effet de style ainsi tourné que sa formulation ne puisse être que vraie. La tautologie est apparentée au truisme (ou lapalissade) et au pléonasme. En logique mathématique, le mot « tautologie » désigne une proposition toujours vraie selon les règles du calcul propositionnel. On utilise aussi l'adjectif tautologique en mathématiques pour désigner des structures qui émergent naturellement de la définition de certains objets. (fr)
- 恒真式（こうしんしき、トートロジー、英: tautology、ギリシャ語のταυτο「同じ」に由来）とは論理学の用語で、「aならば aである (a → a) 」「aである、または、aでない (a ∨ ￢a)」のように、そこに含まれるの真理値、あるいは解釈に関わらず常に真となる論理式である。 対義語としては変数の値にかかわらず常に偽となる矛盾である。 (ja)
- 항진식(恒眞式, 영어: tautology) 또는 항진명제, 토톨로지는 논리학의 용어로, 어떤 (interpretation)에 있어서도 항상 참이 되는 논리식이나 진술을 의미한다. 간단한 예시로 "x가 y와 같거나, x가 y와 같지 않다", "이 공은 녹색이거나 이 공은 녹색이 아니다" 따위를 들 수 있다. 어원은 그리스어에서 '같다'는 의미의 단어인 ταυτο이다. (ko)
- Een tautologie in de logica is een propositie die alleen al op formeel logische gronden waar is. Het begrip tautologie werd door Ludwig Wittgenstein in de logica ingevoerd. Bijvoorbeeld de zin: het regent of het regent niet Deze zin is altijd waar. In een logische formule ziet deze tautologie er zo uit: Om te controleren of een logische formule een tautologie is, kan men een waarheidstabel construeren voor de formule. Als blijkt dat de formule waar is voor elke mogelijke toekenning van waar of onwaar aan de atomaire formules, dan is het een tautologie. (nl)
- Tautologi är en benämning på en sats inom satslogiken, som är sann för varje tillordning av sanningsvärden till dess satssymboler. Ludvig Wittgenstein introducerade begreppet 1921 i verket Tractatus Logico-Philosophicus. Negationen av en tautologi är en kontradiktion. (sv)
- Тавтологией в логике называется тождественно истинное высказывание. Тот факт, что формула A — тавтология, обозначается . В каждом логическом исчислении имеется своё множество тавтологий. (ru)
- 恆真式（tautology）又称为套套邏輯、恆真句、恆真式或重言式等。 恆真式是指在任何解釋下皆為真的命題，例如经典逻辑中的、、或“A=B，B=C，则A=C”。 (zh)
- La tautologia (del grec: ταυτολογία) és una fórmula proposicional que és verdadera sigui quin sigui el valor de veritat assignat als seus components proposicionals elementals. Dit d’una altra manera, en lògica, una tautologia és una fórmula o afirmació que és certa en totes les interpretacions possibles. Un exemple és "x = y o x ≠ y". Un exemple menys abstracte és "La pilota és verda, o la pilota no és verda". Aquesta seria una tautologia independentment del color de la pilota. Estem davant d'una tautologia quan en la columna corresponent al connector principal tots els valors són V. (ca)
- Eine Tautologie (altgriechisch ταυτολογία von ταὐτό t’autó [aus τὸ αὐτό] „dasselbe“ und -logie), auch Verum (lateinisch verum „wahr“) genannt, ist in der Logik eine allgemein gültige Aussage, das heißt eine Aussage, die aus logischen Gründen immer wahr ist. Beispiele für Tautologien sind Aussagen wie „Wenn es regnet, dann regnet es“ oder „Das Wetter ändert sich oder es bleibt, wie es ist.“ Formal wird die Feststellung, dass eine Aussage allgemein gültig beziehungsweise eine Tautologie ist, als geschrieben. (de)
- In mathematical logic, a tautology (from Greek: ταυτολογία) is a formula or assertion that is true in every possible interpretation. An example is "x=y or x≠y". Similarly, "either the ball is green, or the ball is not green" is always true, regardless of the colour of the ball. Unsatisfiable statements, both through negation and affirmation, are known formally as contradictions. A formula that is neither a tautology nor a contradiction is said to be logically contingent. (en)
- Una tautologia (dal greco ταυτολογία, composto di ταὐτό lo stesso — τό lo e αὐτό stesso — e λογία per λόγος discorso), in logica, è un'affermazione vera per definizione, quindi fondamentalmente priva di valore informativo (ad es. "Domani o piove oppure non piove"). Le tautologie logiche ragionano circolarmente attorno agli argomenti o alle affermazioni. (it)
- Tautologia (wywodzi się od greckich słów ταὐτός tautós „ten sam” i λόγος lógos „mowa”) – wyrażenie, które jest zawsze prawdziwe. W logicznym znaczeniu zostało użyte po raz pierwszy przez Ludwika Wittgensteina (Tractatus logico-philosophicus 1922). Tak rozumianymi tautologiami są wszystkie prawa klasycznego rachunku zdań i rachunku kwantyfikatorów. Rozumie się przez nie: Przykłady tautologii:
* Deszcz pada albo nie pada.
* Idę albo nie idę.
* Jeśli nie jestem i nauczycielem, i hydraulikiem, to nie jestem nauczycielem lub nie jestem hydraulikiem. (pl)
- Na lógica proposicional, uma tautologia (do grego ταυτολογία) é uma que é verdadeira para todas as possíveis valorações de suas variáveis proposicionais. Por exemplo, a fórmula proposicional ("A ou não-A") é uma tautologia, porque é verdadeira para todas as valorações de A. Existem exemplos mais complexos tais como ("A e B; ou não-A; ou não-B"). O primeiro a aplicar o termo tautologia às redundâncias da lógica proposicional foi o filósofo Ludwig Wittgenstein em 1921 (anteriormente era usado exclusivamente na retórica). (pt)
- Тавтологією в логіці називається тотожно істинне висловлювання, інваріантне щодо значень своїх компонент. Якщо формула A — тавтологія, то вона позначається ⊨A. У кожному логічному обчисленні є своя підмножина тавтологій. Тавтологія є ключовим поняттям в логіці висловлювань, де тавтологія визначається як пропозиційна формула, що вірна при будь-якій можливій булевій оцінки його пропозиційних змінних. Ключовою властивістю тавтології в логіці висловлювань є ефективний метод для тестування, чи завжди виконується ця формула (або, що вона еквівалентна, чи є його запереченням). (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)