LÓGICA DE ENUNCIADOS FORMALIZACIÓN
QUÉ ES FORMALIZAR Me llamo René p Soy profesor q LENGUAJE NATURAL LENGUAJE FORMAL DE LA LÓGICA DEL AL TRANSCRIBIR UN ENUNCIADO Me llamo René p Soy profesor q Me llamo René y soy profesor p ˄ q
CÓMO FORMALIZAR LENGUAJE FORMAL Signos: p, q, r, s, t,… 1- VARIABLES Representan enunciados VOCABULARIO 2- CONSTANTES Signos: 3- PARÉNTESIS Signos: (, ) LENGUAJE FORMAL LÓGICA DE ENUNCIADOS A- REGLAS DE FORMACIÓN SINTAXIS REGLAS DEL USO DE PARÉNTESIS
CONSEJOS PARA FORMALIZAR Atender al sentido, para extraer el enunciado que el autor quiere transmitir. Recordad que sólo el contexto nos permite establecer qué conectiva hay que usar. No todo es lo que parece, a veces… Utilizar el menor número de variables posibles. >> Negación >> Conjunción y disyunción Acordarse de usar paréntesis