Ir al contenido principal

Entradas

Mostrando entradas de agosto, 2011

Lógica Formal

Lenguaje formalConsiste en abreviar o simbolizar las oraciones o juicios, que en la lógica matemática se llaman proposiciones. Estas proposiciones se reducen en el lenguaje formal a una sola letra, que llamamos variable, y la simbolizamos con las letras mayúscula del alfabeto que van de la  hasta el final del abecedario. Si digo por ejemplo: «Antonio ama a Piedad», esta proposición queda simbolizada en el lenguaje formal mediante la variable  o , o , o . Además de estas variables, la lógica proposicional utiliza otros símbolos, llamados constantes, cuyo significado siempre es el mismo, ya que modifican o unen a las variables. Estos símbolos constantes se llaman funtores, juntores, conectivas u operadores lógicos. Cuando el funtor afecta a una sola variable, se llama monádico, como por ejemplo el negador (  ) que se lee en el lenguaje natural «no», y se sitúa encima de la letra variable, , «no ». Cuando afectan a más de una variable, son poliádicos. Los funtores más importantes son: Conjun…