La tautologie (du grec ὁ ταυτὸς λόγος, 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 peut aussi s'apparenter au truisme ou « lapalissade ». En logique mathématique, le mot « tautologie » désigne une proposition toujours vraie selon les règles du calcul propositionnel.

PropertyValue
dbpedia-owl:abstract
  • La tautologie (du grec ὁ ταυτὸς λόγος, 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 peut aussi s'apparenter au truisme ou « lapalissade ». 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.
  • Tautologie (z řeckého ταυτολογία, tautologia, výpověď o témže) je v logice vždy pravdivý složený výrok, bez ohledu na pravdivostní hodnotu jednotlivých částí takového výroku, např. „Buď bude zítra pršet, nebo zítra pršet nebude.“
  • Totoloji, bir bileşik önermenin kendini oluşturan önermelerin her değili için daima doğru sonuç vermesi durumu. Bir şeyi kendi kaplamıyla tanımlayan tanımlardır. Bu tür tanımlar yeni bir bilgi vermez. Örneğin, 'Ev evdir.', 'adam gibi adam', 'totoloji gibi totoloji' gibi tanımlar kendi başlarına yeni bilgi vermez. Totolojiler ancak belirli bir bağlam dahilinde öznenin görüşü hakkında bilgi verir. Örneğin Ahmet Haşim Sofokles'teki trajik bilinç; trajik bilinç gibi trajik bilinç derken bu totolojiyle Sofokles'i trajik bilinç'i en iyi karşılayan yazar olarak tanımlamaktadır.
  • A logikában a tautológia egy azonosan igaz állítás, másképpen ítéletlogikai törvény.
  • La tautologia és una fórmula proposicional que és verdadera sigui quin sigui el valor de veritat assignat als seus components proposicionals elementals. Una fórmula pot ser qualificada de tautologia mitjançant l'elaboració de la seva taula de veritat. Per exemple, a la fórmula p ∨ ¬ p ("plou o no plou") li correspon la taula de veritat següentEstem davant d'una tautologia quan en la columna corresponent al connector principal tots els valors són V.La condició tautològica està present en les regles d'inferència. La llei del modus ponens, per exemple, presenta la següent estructura tautològica: [(p → q)∧ p] → q
  • Tautologia (wywodzi się od greckich słów ταυτος – ten sam i λογος – mowa) – wyrażenie, które jest prawdziwe na mocy swojej formy – budowy (dokładniej: które jest prawdziwe w każdej niepustej dziedzinie; zdanie 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: Definicja tautologii w klasycznym rachunku zdań przedstawia się następująco: Wyrażenie W jest tautologią klasycznego rachunku zdań, wtedy i tylko wtedy, gdy przy każdym podstawieniu stałych za zmienne przechodzi w zdanie prawdziwe. Definicja tautologii w rachunku kwantyfikatorów przedstawia się następująco: Zdanie z zawierające predykaty P1, P2, … , Pn, jest tautologią rachunku kwantyfikatorów wtedy i tylko wtedy, gdy jest prawdziwe w każdej niepustej dziedzinie przy dowolnym rozumieniu symboli P1, P2, … , Pn, jako wyrażeń odnoszących się do pewnych własności lub relacji a priori danej dziedziny. Definicja tautologii w rachunku kwantyfikatorów przy użyciu interpretacji: Formuła zdaniowa A języka L jest tautologią wtedy i tylko wtedy, gdy formuła zdaniowa A jest prawdziwa przy każdej interpretacji języka L.Tautologie logiczne są to zdania a priori analityczne – niezależne od doświadczenia, (konieczne i powszechne). Tautologie potoczne - wypowiadające to tylko, co zawarte jest w podmiocie gramatycznym zdania, objaśniają (przekładają) tylko wiedzę już w nim zawartą - orzecznik jest przekładem podmiotu - np. „Trójkąt ma trzy kąty”, „Trójkąt jest figurą geometryczną” (bo definicja - np. „Trójkąt to figura geometryczna płaska, o trzech kątach”). Ich przeciwieństwem są zdania a posteriori syntetyczne – uzyskane na podstawie doświadczenia, wypowiadające w orzeczniku coś, co nie jest zawarte w podmiocie zdania, rozszerzają wiedzę - orzecznik nie jest przekładem podmiotu - np. „Ziemia nie jest płaska”.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.
  • In logic, a tautology (from the Greek word ταυτολογία) is a formula which is true in every possible interpretation. Philosopher Ludwig Wittgenstein first applied the term to redundancies of propositional logic in 1921; (it had been used earlier to refer to rhetorical tautologies, and continues to be used in that alternate sense).A formula is satisfiable if it is true under at least one interpretation, and thus a tautology is a formula whose negation is unsatisfiable. 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. Such a formula can be made either true or false based on the values assigned to its propositional variables. The double turnstile notation is used to indicate that S is a tautology. Tautology is sometimes symbolized by "Vpq", and contradiction by "Opq". The tee symbol is sometimes used to denote an arbitrary tautology, with the dual symbol (falsum) representing an arbitrary contradiction.Tautologies are a key concept in propositional logic, where a tautology is defined as a propositional formula that is true under any possible Boolean valuation of its propositional variables. A key property of tautologies in propositional logic is that an effective method exists for testing whether a given formula is always satisfied (or, equivalently, whether its negation is unsatisfiable).The definition of tautology can be extended to sentences in predicate logic, which may contain quantifiers, unlike sentences of propositional logic. In propositional logic, there is no distinction between a tautology and a logically valid formula. In the context of predicate logic, many authors define a tautology to be a sentence that can be obtained by taking a tautology of propositional logic and uniformly replacing each propositional variable by a first-order formula (one formula per propositional variable). The set of such formulas is a proper subset of the set of logically valid sentences of predicate logic (which are the sentences that are true in every model).
  • En lógica, una tautología (del griego ταυτολογία, "decir lo mismo") es una fórmula bien formada de un sistema de lógica proposicional 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 método efectivo para determinar si una fórmula cualquiera es una tautología o no.
  • 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. Le tautologie logiche ragionano circolarmente attorno agli argomenti o alle affermazioni.In linguistica, la tautologia è una figura retorica che consiste nell'aggiunta di contenuto ridondante e dal significato ripetitivo all'interno di un dato discorso al fine di porre maggiore enfasi. Spesso indica anche un'ovvietà: per esempio dire che una tautologia è una tautologia è senza dubbio tautologico, oppure, senza usare proposizioni ricorsive, è tautologico dire che per loro natura i logici fanno ragionamenti razionali.
  • 恒真式(こうしんしき、tautology)とは論理学の用語で、「aならば aである(a → a)」「aである、または、aでない(a ∨ ¬a)」のように、そこに含まれる命題変数の真理値、あるいは解釈に関わらず常に真となる論理式である。トートロジーとも呼ばれる。
  • Dalam logika matematika, tautologi adalah suatu pernyataan majemuk yang bernilai benar untuk setiap kemungkinan. Hal ini dapat dibuktikan menggunakan tabel kebenaran ataupun sifat-sifat logika.Contoh tautologi adalah:Dari tabel di atas, bisa dilihat bahwa apapun nilai kebenaran premis p dan q, pernyataan di atas tetap bernilai benar semua, sehingga digolongkan sebagai tautologi.
dbpedia-owl:wikiPageID
  • 117407 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 13889 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 71 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 109939152 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • La tautologie (du grec ὁ ταυτὸς λόγος, 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 peut aussi s'apparenter au truisme ou « lapalissade ». En logique mathématique, le mot « tautologie » désigne une proposition toujours vraie selon les règles du calcul propositionnel.
  • Tautologie (z řeckého ταυτολογία, tautologia, výpověď o témže) je v logice vždy pravdivý složený výrok, bez ohledu na pravdivostní hodnotu jednotlivých částí takového výroku, např. „Buď bude zítra pršet, nebo zítra pršet nebude.“
  • A logikában a tautológia egy azonosan igaz állítás, másképpen ítéletlogikai törvény.
  • En lógica, una tautología (del griego ταυτολογία, "decir lo mismo") es una fórmula bien formada de un sistema de lógica proposicional 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 método efectivo para determinar si una fórmula cualquiera es una tautología o no.
  • 恒真式(こうしんしき、tautology)とは論理学の用語で、「aならば aである(a → a)」「aである、または、aでない(a ∨ ¬a)」のように、そこに含まれる命題変数の真理値、あるいは解釈に関わらず常に真となる論理式である。トートロジーとも呼ばれる。
  • Dalam logika matematika, tautologi adalah suatu pernyataan majemuk yang bernilai benar untuk setiap kemungkinan. Hal ini dapat dibuktikan menggunakan tabel kebenaran ataupun sifat-sifat logika.Contoh tautologi adalah:Dari tabel di atas, bisa dilihat bahwa apapun nilai kebenaran premis p dan q, pernyataan di atas tetap bernilai benar semua, sehingga digolongkan sebagai tautologi.
  • 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.
  • Tautologia (wywodzi się od greckich słów ταυτος – ten sam i λογος – mowa) – wyrażenie, które jest prawdziwe na mocy swojej formy – budowy (dokładniej: które jest prawdziwe w każdej niepustej dziedzinie; zdanie 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.
  • Totoloji, bir bileşik önermenin kendini oluşturan önermelerin her değili için daima doğru sonuç vermesi durumu. Bir şeyi kendi kaplamıyla tanımlayan tanımlardır. Bu tür tanımlar yeni bir bilgi vermez. Örneğin, 'Ev evdir.', 'adam gibi adam', 'totoloji gibi totoloji' gibi tanımlar kendi başlarına yeni bilgi vermez. Totolojiler ancak belirli bir bağlam dahilinde öznenin görüşü hakkında bilgi verir.
  • La tautologia és una fórmula proposicional que és verdadera sigui quin sigui el valor de veritat assignat als seus components proposicionals elementals. Una fórmula pot ser qualificada de tautologia mitjançant l'elaboració de la seva taula de veritat.
  • In logic, a tautology (from the Greek word ταυτολογία) is a formula which is true in every possible interpretation. Philosopher Ludwig Wittgenstein first applied the term to redundancies of propositional logic in 1921; (it had been used earlier to refer to rhetorical tautologies, and continues to be used in that alternate sense).A formula is satisfiable if it is true under at least one interpretation, and thus a tautology is a formula whose negation is unsatisfiable.
rdfs:label
  • Tautologie
  • Tautologi (logika)
  • Tautologia
  • Tautologia (logika)
  • Tautologia (lògica)
  • Tautologia (lógica)
  • Tautologie
  • Tautologie (Logik)
  • Tautologie (logica)
  • Tautology (logic)
  • Tautología
  • Tautológia
  • Totoloji (mantık)
  • Тавтология (логика)
  • Тавтология (логика)
  • 恒真式
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is prop-fr:synonymes of
is foaf:primaryTopic of