EQUIVALENCIAS LOGICAS NOTABLES PDF

Compartir
I. PRINCIPIO LÓGICO: Un Principio Lógico, es el fundamento de toda verdad lógica (Tautológia). De un principio lógico podemos generar tautologías indefinidamente, y, a la vez, cualquier tautología del universo lógico puede reducirse a un principio lógico. Son conocidos los tres principios. II. PRINCIPIOS LÓGICOS CLÁSICOS 2.1 PRINCIPIO DE IDENTIDAD Establece que si se afirma una proposición, se concluye la misma; si una proposición es verdadera, entonces es verdadera, una proposición sólo es idéntica a sí misma.En el plano de la realidad, toda cosa es idéntica a sí misma. Simbólicamente se expresa por: Ej.: “Si el libro es de matemática se deduce que el libro es de matemática”. 2.2 PRINCIPIO DE NO CONTRADICCIÓN Establece que inadmisiblemente una cosa sea y no sea a la vez. Es imposible que una proposición sea verdadera y falsa a la vez, que una cosa exista y no exista al mismo tiempo. Su formulación simbólica es: Ej.: Es falso que la jirafa sea mamífero y no sea mamífero. 2.3 PRINCIPIO DEL TERCIO EXCLUIDO Fue planteado por Aristóteles. Establece que una cosa es o no es, no existe una tercera posibilidad. Una proposición es verdadera o falsa, no existe una tercera posibilidad. Simbólicamente se expresa: Ejemplo: Augusto Salazar Bondy es peruano o no es peruano. III. EQUIVALENCIAS NOTABLES Son leyes que permiten la transformación y simplificación de los esquemas moleculares en esquema más simples. Se denominan equivalencias porque tanto la expresión original como la expresión simplificada tienen la misma matriz principal en sus respectivas tablas de verdad. A continuación las leyes equivalentes. EJEMPLOS: I. DETERMINAR EL EQUIVALENTE DE LA SIGUIENTE PROPOSICIÓN “Si Federico decide quedarse en la biblioteca después de las clases, entonces repasará la lección de hoy”. Pasos a seguir: 1. Reemplazando las proposiciones simples p = Federico decide quedarse en la biblioteca después de las clases. q = Repasará la lección de hoy. 2. Estructura formal Si p entonces q. 3. Reemplazando los conectivos obtenemos: 4. Aplicando la definición del condicional 5. Reemplazando su equivalente resulta * Federico no decide quedarse en la biblioteca después de las clases o repasará la leccion de hoy . * Es imposible que Federico decida quedarse en la biblioteca después de las clases y no repase la lección de hoy . II. SIMPLIFICAR LAS SIGUIENTES FÓRMULAS