| dbo:abstract
|
- En lógica proposicional, la tautología es una regla de reemplazo comúnmente utilizada para eliminar la redundancia en disyunciones y conjunciones en las demostraciones lógicas. La tautología se materializa en dos principios: El principio de idempotencia de la disyunción y el principio de idempotencia de la conjunción donde "" es un metalógico que representa "puede ser reemplazado en una demostración lógica por". (es)
- In propositional logic, tautology is either of two commonly used rules of replacement. The rules are used to eliminate redundancy in disjunctions and conjunctions when they occur in logical proofs. They are: The principle of idempotency of disjunction: and the principle of idempotency of conjunction: Where "" is a metalogical symbol representing "can be replaced in a logical proof with." (en)
- Na lógica proposicional, tautologia é uma de duas comumente utilizadas. As regras são usadas para eliminar redundâncias em disjunções e conjunções quando elas ocorrem em provas lógicas. Elas são: O princípio da idempotência da disjunção: e o princípio da idempotência da conjunção: Onde "" é um símbolo da metalógica que representa "pode ser substituído numa prova lógica com". (pt)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2698 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- En lógica proposicional, la tautología es una regla de reemplazo comúnmente utilizada para eliminar la redundancia en disyunciones y conjunciones en las demostraciones lógicas. La tautología se materializa en dos principios: El principio de idempotencia de la disyunción y el principio de idempotencia de la conjunción donde "" es un metalógico que representa "puede ser reemplazado en una demostración lógica por". (es)
- In propositional logic, tautology is either of two commonly used rules of replacement. The rules are used to eliminate redundancy in disjunctions and conjunctions when they occur in logical proofs. They are: The principle of idempotency of disjunction: and the principle of idempotency of conjunction: Where "" is a metalogical symbol representing "can be replaced in a logical proof with." (en)
- Na lógica proposicional, tautologia é uma de duas comumente utilizadas. As regras são usadas para eliminar redundâncias em disjunções e conjunções quando elas ocorrem em provas lógicas. Elas são: O princípio da idempotência da disjunção: e o princípio da idempotência da conjunção: Onde "" é um símbolo da metalógica que representa "pode ser substituído numa prova lógica com". (pt)
|
| rdfs:label
|
- Tautología (regla de inferencia) (es)
- Tautologia (regra de inferência) (pt)
- Tautology (rule of inference) (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
