Material implication (rule of inference)
http://dbpedia.org/resource/Material_implication_(rule_of_inference) an entity of type: Thing
En lógica proposicional, la implicación material o definición del condicional es una regla de reemplazo válida que permite que una declaración condicional sea sustituida por una disyunción si y solo si el antecedente es negado. La regla establece que P implica Q es lógicamente equivalente a no-P o Q y puede sustituir a otra en demostraciones lógicas. Donde "" es un símbolo metalógico que representa "puede ser reemplazado en una demostración con."
rdf:langString
Na lógica proposicional, implicação material é uma regra de substituição válida que permite que uma sentença condicional seja substituída por uma disjunção em que o antecedente é negado. A regra determina que P implica Q é logicamente equivalente à não-P ou Q e pode substituir o outro em provas lógicas. Onde ""é um símbolo metalógico que representa "pode ser substituído em uma prova."
rdf:langString
In propositional logic, material implication is a valid rule of replacement that allows for a conditional statement to be replaced by a disjunction in which the antecedent is negated. The rule states that P implies Q is logically equivalent to not- or and that either form can replace the other in logical proofs. In other words, if is true, then must also be true, while if is not true, then cannot be true either; additionally, when is not true, may be either true or false.
* : Sam ate an orange for lunch
* : Sam ate a fruit for lunch
rdf:langString
rdf:langString
Implicación material
rdf:langString
Material implication (rule of inference)
rdf:langString
Implicação material (regra de inferência)
rdf:langString
Material implication
xsd:integer
244516
xsd:integer
1094120052
rdf:langString
P implies Q is logically equivalent to not- or . Either form can replace the other in logical proofs.
rdf:langString
June 2022
rdf:langString
This law doesn't hold in intuitionistic logic. If there is a proof of equiv that is accepted by intuitionists, it should be given here, instead of the current one. If not, the article should state that the equivalence doesn't hold in intuitionistic logic.
rdf:langString
En lógica proposicional, la implicación material o definición del condicional es una regla de reemplazo válida que permite que una declaración condicional sea sustituida por una disyunción si y solo si el antecedente es negado. La regla establece que P implica Q es lógicamente equivalente a no-P o Q y puede sustituir a otra en demostraciones lógicas. Donde "" es un símbolo metalógico que representa "puede ser reemplazado en una demostración con."
rdf:langString
In propositional logic, material implication is a valid rule of replacement that allows for a conditional statement to be replaced by a disjunction in which the antecedent is negated. The rule states that P implies Q is logically equivalent to not- or and that either form can replace the other in logical proofs. In other words, if is true, then must also be true, while if is not true, then cannot be true either; additionally, when is not true, may be either true or false. Where "" is a metalogical symbol representing "can be replaced in a proof with," and P and Q are any given logical statements. To illustrate this, consider the following statements:
* : Sam ate an orange for lunch
* : Sam ate a fruit for lunch Then, to say, "Sam ate an orange for lunch" implies "Sam ate a fruit for lunch". Logically, if Sam did not eat a fruit for lunch, then Sam also cannot have eaten an orange for lunch (by contraposition). However, merely saying that Sam did not eat an orange for lunch provides no information on whether or not Sam ate a fruit (of any kind) for lunch.
rdf:langString
Na lógica proposicional, implicação material é uma regra de substituição válida que permite que uma sentença condicional seja substituída por uma disjunção em que o antecedente é negado. A regra determina que P implica Q é logicamente equivalente à não-P ou Q e pode substituir o outro em provas lógicas. Onde ""é um símbolo metalógico que representa "pode ser substituído em uma prova."
xsd:nonNegativeInteger
5188