WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
Este Cmap, tiene información relacionada con: mapa de logica propocional, Es donde se coloca el conectivo “ o ”. En donde este hace la función de definir, elegir o la probabilidad de las proposiciones propuestas. Tiene dos usos : Exclusivo : lo uno, o lo otro , pero no ambas. Inclusivo : lo uno, o lo otro, o ambas. un Ejemplo : “Llegare el miércoles en la noche o el jueves en la mañana” “Lleve con usted la cedula o el pasaporte”, tambien ???? Formulas bien formadas. Sintaxis en la lógica proposicional, lógica proporcional es un lenguaje, que permite decidir la validez o invalidez de un razonamiento deductivo., Tabla de valores de la verdad que es Para hallar las posibles combinaciones, se halla con la forma 2^n n: el numero de átomos La ultima columna es la que muestra el valor de la verdad “tautología”, son la disyunción, conectivos lógicos los cuales son, Lógica simbólica tambie tiene conectivos lógicos, un lenguaje, que permite decidir la validez o invalidez de un razonamiento deductivo. que tiene Clases de símbolos, son los Símbolos de constante lógicas, Clasificación de las FBF que son Contradicción: es la que da todo falso Tautología: es la que da todas verdaderas Contingencia : es la que da falsas y verdaderas, Antecedente y consecuente el cual el Antecedente es la proposición que acompaña a “SI” Consecuente es la proposición que acompaña a “entonces” P: hoy es martes Q: mañana es miércoles “si p entonces q” si hoy es martes, entonces mañana es miércoles P: antecedente y q: consecuente No puede ser el antecedente verdadero y el consecuente falso, Símbolos de puntuación que Son paréntesis abiertos y cerrados “ ( ) ” que se utilizan para agrupar partes de una expresión. Ejemplo : PvQ =) R (P v Q) =) R Según el significado de la expresión representada, son la conjunción, son los Símbolos de variable proposicionales, son la Negación, Si p y q son proposiciones, el símbolo P(=)Q “p si solo si q“ Si una es verdadera la otra es igual e igual lo contrario. Y cuando decimos que “P y Q” son verdaderas se dice que son lógicamente equivalentes “ P(equivalente)Q”. un Ejemplo: Un entero positivo es primo si y solo si tiene exactamente dos divisores positivos : 1 y el mismo entero, Para hallar las posibles combinaciones, se halla con la forma 2^n n: el numero de átomos La ultima columna es la que muestra el valor de la verdad “tautología” en el cual se define su Clasificación de las FBF, Bicondicional ???? Si p y q son proposiciones, el símbolo P(=)Q “p si solo si q“ Si una es verdadera la otra es igual e igual lo contrario. Y cuando decimos que “P y Q” son verdaderas se dice que son lógicamente equivalentes “ P(equivalente)Q”., lógica proporcional es tambien, son la condicional