Implicación material
De Wikipedia, la enciclopedia encyclopedia
Para otros usos de este término, véase Implicación material (desambiguación).
En lógica proposicional, la implicación material[1][2] o definición del condicional[3] 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."