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 a Q” o “Q es una implicación lógica de P”. Otra forma de leer esta estructura...
More
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 a Q” 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 la derecha 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 1 1 1 1 0 0 0 1 1 0 0 1 De la tabla de verdad se puede 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 el antecedente es verdadero y el consecuente falso. Estas propiedades de la implicación son muy utilizadas en la demostración de teoremas lógicos y matemáticos. Ejemplos de implicación lógica: Mediante las propiedades de la implicación lógica es posi
Less
