Ejemplos de Implicación Lógica La implicación es una estructura en donde una proposición es consecuencia lógica de otra

Ejemplos de Implicación Lógica La implicación es una estructura en donde una proposición es consecuencia lógica de otra. La forma de representarla es P => Q, y se lee “P implica lógicamente aQ” o “Q es una implicación lógica de P”. Otra forma de leer esta estructura es “Si P entonces Q”. El significado es que la proposición de la izquierda es verdadera, entonces la proposición de laderecha es verdadera. P recibe el nombre de precedente y Q de consecuente y la tabla de verdad de la implicación es la siguiente: P Q P => Q V V V V F F F V V F F V De la tabla de verdad sepuede deducir que en toda implicación en la que el consecuente es verdadero y el antecedente es falso, la implicación es verdadera. El único caso en que la implicación es falsa es cuando elantecedente es verdadero y el consecuente falso. Estas propiedades de la implicación son muy útilizadas en la desmotración de teoremas lógicos y matemáticos.
Ejemplos de implicación lógica: Mediantelas propiedades de la implicación lógica es posible demostrar un teorema de la teoria de conjuntos, que dice que el conjunto vacío es un subconjunto de cualquier conjunto. Para demostrar elteorema anterior tenemos las siguientes proposiciones: a: x es un elemento del conjunto vacio b: x es un elemento del conjunto X y queremos demostrar que a => b es verdadero para todo elemento x.Sabemos que el conjunto vacío no tiene elementos, por lo que a es falsa, y x puede o no ser un elemento del conjunto X, es decir b puede o no ser una proposición verdadera. En cualquier caso,tomando los renglones 3 y 4 de la tabla de verdad concluimos que la implicación es verdadera, por lo que el conjunto vacío es un subconjunto de cualqueir conjunto. Otro ejemplo es el siguiente: SiJuan es Profesor entonces María es mujer. Esta condicional es verdadera, ya que el consecuente María es mujer es verdadera, independientemente del valor del antecedente.

URL del artículo:...