Tautology (logic)
http://dbpedia.org/resource/Tautology_(logic) an entity of type: Thing
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.“
rdf:langString
الطَّوطُولُوجيا من الإغريقية ταυτολογία ومعناها «قول الشيء نفسه». ويقال عن جملة ما أنها طوطولوجية إذا دائما تقيم بالصواب أي أن نتيجتها دائما صحيحة مهما كانت قيمة المتغيرات أو تقييم الجمل الأولية أو المزاعم، كأن نقول «للمثلث ثلاثة رؤوس» أو «لا يوجد أعزب متزوج».
rdf:langString
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.
rdf:langString
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.
rdf:langString
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".
rdf:langString
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.
rdf:langString
恒真式(こうしんしき、トートロジー、英: tautology、ギリシャ語のταυτο「同じ」に由来)とは論理学の用語で、「aならば aである (a → a) 」「aである、または、aでない (a ∨ ¬a)」のように、そこに含まれるの真理値、あるいは解釈に関わらず常に真となる論理式である。 対義語としては変数の値にかかわらず常に偽となる矛盾である。
rdf:langString
항진식(恒眞式, 영어: tautology) 또는 항진명제, 토톨로지는 논리학의 용어로, 어떤 (interpretation)에 있어서도 항상 참이 되는 논리식이나 진술을 의미한다. 간단한 예시로 "x가 y와 같거나, x가 y와 같지 않다", "이 공은 녹색이거나 이 공은 녹색이 아니다" 따위를 들 수 있다. 어원은 그리스어에서 '같다'는 의미의 단어인 ταυτο이다.
rdf:langString
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.
rdf:langString
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.
rdf:langString
Тавтологией в логике называется тождественно истинное высказывание. Тот факт, что формула A — тавтология, обозначается . В каждом логическом исчислении имеется своё множество тавтологий.
rdf:langString
恆真式(tautology)又称为套套邏輯、恆真句、恆真式或重言式等。 恆真式是指在任何解釋下皆為真的命題,例如经典逻辑中的、、或“A=B,B=C,则A=C”。
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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).
rdf:langString
Тавтологією в логіці називається тотожно істинне висловлювання, інваріантне щодо значень своїх компонент. Якщо формула A — тавтологія, то вона позначається ⊨A. У кожному логічному обчисленні є своя підмножина тавтологій. Тавтологія є ключовим поняттям в логіці висловлювань, де тавтологія визначається як пропозиційна формула, що вірна при будь-якій можливій булевій оцінки його пропозиційних змінних. Ключовою властивістю тавтології в логіці висловлювань є ефективний метод для тестування, чи завжди виконується ця формула (або, що вона еквівалентна, чи є його запереченням).
rdf:langString
rdf:langString
طوطولوجيا
rdf:langString
Tautologia (lògica)
rdf:langString
Tautologie
rdf:langString
Tautologie (Logik)
rdf:langString
Taŭtologio
rdf:langString
Tautología
rdf:langString
Tautologie
rdf:langString
Tautologi (logika)
rdf:langString
Tautologia
rdf:langString
恒真式
rdf:langString
항진식
rdf:langString
Tautologie (logica)
rdf:langString
Tautologia (logika)
rdf:langString
Tautologia (lógica)
rdf:langString
Tautology (logic)
rdf:langString
Tautologi (logik)
rdf:langString
Тавтология (логика)
rdf:langString
Тавтологія (логіка)
rdf:langString
恆真式
xsd:integer
4495335
xsd:integer
1120311462
rdf:langString
p/t092290
rdf:langString
Tautology
rdf:langString
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. El filòsof Ludwig Wittgenstein va aplicar el terme per primer cop a les redundàncies de la lògica proposicional el 1921, prenent préstecs de la retòrica, on una tautologia és una afirmació repetitiva. En lògica, una fórmula és satisfactòria si és certa sota almenys una interpretació i, per tant, una tautologia és una fórmula la negació de la qual és insatisfactòria. Les afirmacions insatisfactòries, tant per negació com per afirmació, es coneixen formalment com a contradiccions. Es diu que una fórmula que no és ni una tautologia ni una contradicció és lògicament contingent. 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üent: Estem 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 . La llei del modus ponens, per exemple, presenta la següent estructura tautològica: [(p → q)∧ p] → q
rdf:langString
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.“
rdf:langString
الطَّوطُولُوجيا من الإغريقية ταυτολογία ومعناها «قول الشيء نفسه». ويقال عن جملة ما أنها طوطولوجية إذا دائما تقيم بالصواب أي أن نتيجتها دائما صحيحة مهما كانت قيمة المتغيرات أو تقييم الجمل الأولية أو المزاعم، كأن نقول «للمثلث ثلاثة رؤوس» أو «لا يوجد أعزب متزوج».
rdf:langString
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.“ Teilweise wird der Begriff Tautologie für alle Arten von allgemeingültigen Aussagen verwendet, teilweise wird er auf solche Aussagen eingeschränkt, die in der zweiwertigen, klassischen Aussagenlogik allgemein gültig sind. Im letzteren, aussagenlogischen Sinn ist eine zusammengesetzte Aussage genau dann eine Tautologie, wenn sie wahr ist unabhängig davon, ob die Teilaussagen, aus denen sie zusammengesetzt ist, ihrerseits wahr oder falsch sind. Formal wird die Feststellung, dass eine Aussage allgemein gültig beziehungsweise eine Tautologie ist, als geschrieben.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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".
rdf:langString
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.
rdf:langString
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. The philosopher Ludwig Wittgenstein first applied the term to redundancies of propositional logic in 1921, borrowing from rhetoric, where a tautology is a repetitive statement. In logic, a formula is satisfiable if it is true under at least one interpretation, and thus a tautology is a formula whose negation is unsatisfiable. In other words, it cannot be false. It cannot be untrue. 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; in any symbolism, a tautology may be substituted for the truth value "true", as symbolized, for instance, by "1". 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 (equiv., whether its negation is unsatisfiable). The definition of tautology can be extended to sentences in predicate logic, which may contain quantifiers—a feature absent from sentences of propositional logic. Indeed, 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 (i.e., sentences that are true in every model).
rdf:langString
恒真式(こうしんしき、トートロジー、英: tautology、ギリシャ語のταυτο「同じ」に由来)とは論理学の用語で、「aならば aである (a → a) 」「aである、または、aでない (a ∨ ¬a)」のように、そこに含まれるの真理値、あるいは解釈に関わらず常に真となる論理式である。 対義語としては変数の値にかかわらず常に偽となる矛盾である。
rdf:langString
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. 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.
rdf:langString
항진식(恒眞式, 영어: tautology) 또는 항진명제, 토톨로지는 논리학의 용어로, 어떤 (interpretation)에 있어서도 항상 참이 되는 논리식이나 진술을 의미한다. 간단한 예시로 "x가 y와 같거나, x가 y와 같지 않다", "이 공은 녹색이거나 이 공은 녹색이 아니다" 따위를 들 수 있다. 어원은 그리스어에서 '같다'는 의미의 단어인 ταυτο이다.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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: 1.
* 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. 2.
* 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. 3.
* 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.
rdf:langString
Тавтологией в логике называется тождественно истинное высказывание. Тот факт, что формула A — тавтология, обозначается . В каждом логическом исчислении имеется своё множество тавтологий.
rdf:langString
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). A negação de uma tautologia é uma contradição ou , uma fórmula proposicional que é falsa independentemente dos valores de verdade de suas variáveis. Tais proposições são ditas insatísfatíveis. Reciprocamente, a negação de uma contradição é uma tautologia. Uma fórmula que não é nem uma tautologia nem uma contradição é dita logicamente . Tal fórmula pode ser verdadeira ou falsa dependendo dos valores atribuídos para suas variáveis proposicionais. Uma propriedade fundamental das tautologias é que existe um para testar se uma dada fórmula é sempre satisfeita (ou, equivalentemente, se seu complemento é insatisfatível). Um método deste tipo usa as tabelas-verdade. O problema de decisão de determinar se uma fórmula é satisfatível é o , um exemplo importante de um problema NP-completo na teoria da complexidade computacional. A notação é usada para indicar que S é uma tautologia. O símbolo é algumas vezes usado para denotar uma tautologia arbitrária, com o símbolo dual (falsum) representando uma contradição arbitrária.
rdf:langString
恆真式(tautology)又称为套套邏輯、恆真句、恆真式或重言式等。 恆真式是指在任何解釋下皆為真的命題,例如经典逻辑中的、、或“A=B,B=C,则A=C”。
rdf:langString
Тавтологією в логіці називається тотожно істинне висловлювання, інваріантне щодо значень своїх компонент. Якщо формула A — тавтологія, то вона позначається ⊨A. У кожному логічному обчисленні є своя підмножина тавтологій. В логіці, тавтологія (від грецького слова ταυτολογία) є , правдива у всіх можливих інтерпретаціях. Філософ Людвіг Вітґенштайн вперше застосував цей термін для скорочень в логіці висловлень в 1921 (він використовувався раніше для позначення тавтологій в риториці, і продовжує використовуватися в цьому альтернативному сенсі). Формула , якщо вона вірна хоча б в одній інтерпретації, і, тоді, тавтологія є формула для якої заперечення нездійсненне. Нездійсненне твердження, утворене як заперечення твердження, формально є суперечність. A формули які не є ані тавтологією, ані суперечністю, є логічно не суперечливими. Така формула може бути істинною або хибною на підставі значень, приписаних його пропозиційним змінним. Подвійний турнікет позначення використовується для вказівки, що S є тавтологія. Тавтологію іноді позначають як «Vpq», а суперечність як «Opq». Символ трійник іноді використовується для позначення довільної тавтології, а дуальний символ (константа, хибність) представляє довільна суперечність. Тавтологія є ключовим поняттям в логіці висловлювань, де тавтологія визначається як пропозиційна формула, що вірна при будь-якій можливій булевій оцінки його пропозиційних змінних. Ключовою властивістю тавтології в логіці висловлювань є ефективний метод для тестування, чи завжди виконується ця формула (або, що вона еквівалентна, чи є його запереченням). Визначення «Тавтологія» може бути поширене на вислови в логіці предикатів, які можуть містити квантори, на відміну від висловів логіки висловлювань. В логіці висловлювань, немає жодної різниці між тавтологією і логічно дійсною формулою. В контексті логіки предиката, багато авторів визначають, що тавтологія є пропозиція, яка може бути отримана шляхом прийняття тавтології з логіки висловлювань та рівномірною заміною кожної пропозиційної змінної першого порядку в формулі (одна формула за висловлювань змінної). Множина таких формул є власною підмножиною множини логічно допустимих пропозицій з логіки предикатів, які є твердженнями, які істинні в кожній моделі.
xsd:nonNegativeInteger
21976