| Property |
Value |
| dbo:abstract
|
- 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 est dite être une conséquence tautologique d'une, ou plus, autre propositions dans une 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 sont vraies, la proposition 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 est dite être une conséquence tautologique d'une, ou plus, autre propositions 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 et aussi à . (fr)
- 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 est dite être une conséquence tautologique d'une, ou plus, autre propositions dans une 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 sont vraies, la proposition 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 est dite être une conséquence tautologique d'une, ou plus, autre propositions 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 et aussi à . (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3655 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:art
|
- Tautological consequence (fr)
- Tautological consequence (fr)
|
| prop-fr:id
| |
| prop-fr:lang
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- 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 est dite être une conséquence tautologique d'une, ou plus, autre propositions dans une 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 sont vraies, la proposition est aussi vraie. (fr)
- 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 est dite être une conséquence tautologique d'une, ou plus, autre propositions dans une 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 sont vraies, la proposition est aussi vraie. (fr)
|
| rdfs:label
|
- Conséquence tautologique (fr)
- Tautolog implikation (sv)
- Conséquence tautologique (fr)
- Tautolog implikation (sv)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
