| 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 |
34896576 (xsd:integer) |
| dbo:wikiPageLength |
2698 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1064967637 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Principia_Mathematica dbr:Metalogic dbr:Bertrand_Russell dbr:Theorem dbr:Logical_conjunction dbr:Proposition dbr:Propositional_logic dbr:Symbol_(formal) dbr:Alfred_North_Whitehead dbr:Formal_proof dbr:Formal_system dbr:Logical_consequence dbr:Logical_disjunction dbr:Well-formed_formula dbc:Rules_of_inference dbc:Theorems_in_propositional_logic dbr:Idempotence dbr:Rule_of_inference dbr:Sequent dbr:Rule_of_replacement dbr:Semantic_consequence |
| dbp:wikiPageUsesTemplate |
dbt:About dbt:Reflist dbt:Short_description dbt:Transformation_rules |
| dcterms:subject |
dbc:Rules_of_inference dbc:Theorems_in_propositional_logic |
| rdf:type |
yago:WikicatTheoremsInPropositionalLogic yago:WikicatRulesOfInference yago:Abstraction100002137 yago:Cognition100023271 yago:Communication100033020 yago:Concept105835747 yago:Content105809192 yago:Idea105833840 yago:Message106598915 yago:Proposition106750804 yago:PsychologicalFeature100023100 yago:Rule105846054 yago:Statement106722453 yago:Theorem106752293 |
| 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 |
freebase:Tautology (rule of inference) yago-res:Tautology (rule of inference) wikidata:Tautology (rule of inference) dbpedia-es:Tautology (rule of inference) dbpedia-pt:Tautology (rule of inference) https://global.dbpedia.org/id/4vCtt |
| prov:wasDerivedFrom |
wikipedia-en:Tautology_(rule_of_inference)?oldid=1064967637&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Tautology_(rule_of_inference) |
| is dbo:wikiPageDisambiguates of |
dbr:Tautology |
| is dbo:wikiPageWikiLink of |
dbr:Propositional_calculus dbr:Tautology dbr:Rule_of_replacement |
| is foaf:primaryTopic of |
wikipedia-en:Tautology_(rule_of_inference) |