Tautology (rule of inference)
http://dbpedia.org/resource/Tautology_(rule_of_inference) an entity of type: WikicatTheoremsInPropositionalLogic
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".
rdf:langString
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."
rdf:langString
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".
rdf:langString
rdf:langString
Tautología (regla de inferencia)
rdf:langString
Tautologia (regra de inferência)
rdf:langString
Tautology (rule of inference)
xsd:integer
34896576
xsd:integer
1064967637
rdf:langString
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".
rdf:langString
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."
rdf:langString
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".
xsd:nonNegativeInteger
2698