formalización o simbolización de proposiciones en la lógica matemática

Показать описание

SÍMBOLOS AUXILIARES
Son los que se usan para separar las propiedades moleculares de acuerdo a la jerarquía que le da el sentido lógico.
1)Paréntesis( ):para separar proposiciones básicas
Ejemplo :
Sí hay calor y humedad, entonces hay lluvia: .
2) Corchete : para separar formas lógicas menores.
Ejemplo :
Sí hay calor y humedad, entonces hay lluvia siempre y cuando se trate de la región andina: .
3)Llaves : para separar formas lógicas mayores
Ejemplo :
Es absurdo que ; si hay calor y humedad , entonces hay lluvia siempre y cuando se trate de la sierra :
todo negado.
JERARQUÍA DE CONECTORES LÓGICOS EN FORMA DESCENDENTE
1O) Biimplicador
2O) Disyuntor fuerte
3O) condicional
4O ) Conjunción y disyunción
5O ) Negación
JERARQUÍA EN EL ESQUEMA MOLECULAR
Dentro de la estructura de un esquema molecular sólo uno de los conectivos lógicos es de mayor jerarquía , el cual va a dar el nombre al esquema molecular. Para ello se debe tener en cuenta el correcto uso de los signos de colección entre las diferentes variables proposicionales
Ejemplo :
* La jerarquía es la siguiente :
1) primera jerarquía
(nombre del esquema molecular : condicional)
2) Segunda jerarquía
3) tercera jerarquía
4) cuarta jerarquía
Ejemplo :
formalizar la siguiente expresión :
“Es falso que si Mery no compra su vestido entonces no irá al bautizo , además bailará”
Sean :
p : Mery compra su vestido
q : Mery irá al bautizo
r : Mery bailará
Luego :
El esquema molecular es conjuntiva.

ESQUEMA MOLECULAR
(Fórmula Proposicional)
Es una fórmula lógica que resulta de la combinación de variables proposicionales , constantes lógicas y signos de agrupación ; siempre y cuando sea una fórmula bien formada ( es decir que no presente ambigüedad).
Ejemplo :
(pq)(rs), es una esquema molecular .

Un esquema molecular posee un correspondiente valor de verdad para los valores dados en cada variable proposicional. El número de resultados en general proviene de las combinaciones de los valores de verdad de cada variable proposicional, a través de una tabla de verdad, si estas fuesen «n» existen 2n combinaciones, donde 2 es una constante que representa que cualquier variable puede ser V ó F.