FORMALIZACION EN LA LOGICA PROPOSICIONAL – SIMBOLIZACION PDF

Compartir
(Simbolización) La simbolización de proposiciones consiste en la representación del lenguaje ordinario mediante el lenguaje artificial (convencional). Formalizar, significa reemplazar cada proposición por una variable y cada conectivo (término de enlace) o modificador (la negación) por un operador lógico, todo ello correctamente jerarquizado mediante signos de agrupación. 1. VARIABLES Se utilizan para representar a las proposiciones simples. Son las letras minúsculas: p, q, r, s, t, ….., etc. Ejemplo: a) b) 2. OPERADORES LÓGICOS Son de dos tipos: a) Diádicos.- Se utilizan para representar a las conectivas (términos de enlace). Ejemplo: * * . b) Monádico.- Sirve para reemplazar al modificador “no” o sus expresiones equivalentes (no es cierto, es falso que, no es el caso que, etc.). Ejemplo: * . * . 3. SIGNOS DE AGRUPACIÓN Se utilizan para agrupar a las variables y operadores asi como, darles jerarquía. Son los siguientes: * Paréntesis ( ) * Corchetes [ ] * Llaves { } * Barras | | a) JERARQUIZACIÓN Jerarquizar significa agrupar las variables y los operadores dentro de los signos de colección, llamados también de agrupación. Para jerarquizar hay que tener en cuenta los siguientes requisitos: * Sólo presentan jerarquía los conectivos lógicos (y, o, entonces, si y solo si, etc.). * Para realizar una correcta jerarquización hay que tener en cuenta los signos de puntuación del texto a jerarquizar, en cuanto ellos indican la ubicación de los signos de colección. * En el texto, el punto seguido tiene mayor jerarquía, le sigue en 2do. lugar el punto y coma, y en 3er. lugar la coma. b) REGLAS PARA JERARQUIZAR