Metraipolis › archive › dc_85b4635a90f8

Conséquence tautologique — Wikipedia (fr)

Source: Wikipedia (fr)
Original: https://fr.wikipedia.org/wiki/Cons%C3%A9quence_tautologique
License (as archived): CC-BY-SA-4.0
Archived: 2026-11-05T13:48:38.988Z
SHA-256 of the archived text: df7b56a95f1296d4b2669a30e3d8684f43fbecf6c2fa2ca4afd6f38937b50e62
Stable URL of this page: https://metraipolis.com/documento/dc_85b4635a90f8

How to cite

Conséquence tautologique — Wikipedia (fr) — Wikipedia (fr), https://fr.wikipedia.org/wiki/Cons%C3%A9quence_tautologique (CC-BY-SA-4.0); archived copy: https://metraipolis.com/documento/dc_85b4635a90f8 (Metraipolis archive dc_85b4635a90f8, sha256 df7b56a95f1296d4b2669a30e3d8684f43fbecf6c2fa2ca4afd6f38937b50e62)

BibTeX

@misc{dc85b4635a90f8,
  title = {Conséquence tautologique — Wikipedia (fr)},
  howpublished = {Wikipedia (fr)},
  url = {https://fr.wikipedia.org/wiki/Cons%C3%A9quence_tautologique},
  note = {License CC-BY-SA-4.0; archived copy https://metraipolis.com/documento/dc_85b4635a90f8; sha256 df7b56a95f1296d4b2669a30e3d8684f43fbecf6c2fa2ca4afd6f38937b50e62},
  year = {2026}
}

Archived text

Reproduced under CC-BY-SA-4.0. Attribution: Wikipedia (fr), https://fr.wikipedia.org/wiki/Cons%C3%A9quence_tautologique. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

En logique propositionnelle, une conséquence tautologique est la forme stricte de la conséquence logique, dans laquelle la tautologie d'une proposition est conservée des prémisses à la conclusion. Les conséquences logiques ne sont pas toutes des conséquences tautologiques. Une proposition Q {\displaystyle Q} est dite être une conséquence tautologique d'une, ou plus, autre propositions ( P 1 {\displaystyle P_{1}} , P 2 {\displaystyle P_{2}} , ..., P n {\displaystyle P_{n}} ) dans une preuve par apport à un système logique si celui-ci est valide à introduire la proposition au-dessus de la ligne de preuve dans le cadre des règles du système et, dans tous les cas où chacune de ces propositions ( P 1 {\displaystyle P_{1}} , P 2 {\displaystyle P_{2}} , ..., P n {\displaystyle P_{n}} ) sont vraies, la proposition Q {\displaystyle Q} est aussi vraie. Une autre manière de représenter la préservation de la tautologie est d'utiliser une tables de vérités. Une proposition Q {\displaystyle Q} est dite être une conséquence tautologique d'une, ou plus, autre propositions ( P 1 {\displaystyle P_{1}} , P 2 {\displaystyle P_{2}} , ..., P n {\displaystyle P_{n}} ) si et seulement si dans chaque colonne de table de vérité la valeur de vérité « V » ou 1 est attribuée à toutes les propositions ( P 1 {\displaystyle P_{1}} , P 2 {\displaystyle P_{2}} , ..., P n {\displaystyle P_{n}} ) et aussi à Q {\displaystyle Q} .

Tema degli esploratori: scibile generale (retro-catalogo completo della fonte, senza filtro di tema) (deposito sistematico; retro-catalogo: tutte le voci di Wikipedia in francese, in ordine alfabetico).
Fonte: Wikipedia in francese, voce «Conséquence tautologique» — https://fr.wikipedia.org/wiki/Cons%C3%A9quence_tautologique
Wikidata Q7688961: «concept in propositional logic» (dati Wikidata in CC0 1.0) — https://www.wikidata.org/wiki/Q7688961
Autori: i contributori di Wikipedia (cronologia: https://fr.wikipedia.org/wiki/Cons%C3%A9quence_tautologique?action=history).
Licenza: Creative Commons Attribuzione-Condividi allo stesso modo 4.0 (CC BY-SA 4.0) — https://creativecommons.org/licenses/by-sa/4.0/. Il riuso richiede attribuzione e stessa licenza.
Estratto dell'introduzione non modificato nel contenuto; revisione 223344068, consultata il 2026-11-05T13:45:54.990Z tramite l'API ufficiale di Wikipedia. Impronta SHA-256 dell'estratto: a086598e3a7756b07b9c69c524d8526f78e8718a865042a86a0613dd08f45a5f