EVALUACIÓN DE ESQUEMAS MOLECULARES EJERCICIOS RESUELTOS DE LÓGICA PROPOSICIONAL PDF
EVALUACIÓN DE ESQUEMAS MOLECULARES
Consiste en obtener el valor o los valores del conjunto lógico de mayor jerarquía a partir de los valores veritativos de cada una de las variables proposicionales.
Ejemplo :
TAUTOLOGÍA
CONTRADICCIÓN y CONTINGENCIA
LÓGICA DE PREDICADOS-ENFOQUE SEMÁNTICO PDF EJERCICIOS Y EJEMPLOS RESUELTOS
Si tratamos de expresar este argumento en un lenguaje formal de proposiciones como los estudiados en los capítulos anteriores, vemos que la única manera de traducirlo es sustituyendo la primera premisa por una letra proposicional, digamos A, la segunda premisa como otra letra proposicional, digamos B y la conclusión como una tercera letra proposicional, C. Es evidente que C no es una consecuencia tautológica de A y B, por lo que tenemos un argumento correcto que no es rescatado por la lógica proposicional.
Lenguajes de primer orden
Símbolos lógicos
Símbolos no lógicos o parámetros
El lenguaje de la igualdad
El lenguaje de predicados puro
Lenguaje de la teoría de conjuntos
El lenguaje de la teoría de grupos