LENGUAJE FORMAL
Definición de lenguaje formal:
El lenguaje formal es aquel lenguaje creado de forma consciente y con base en reglas claras y precisas para un determinado objetivo.
Existen diferentes lenguajes formales, es decir, se han creado diferentes lenguajes para diferentes objetivos.
El más importante de ellos es la lógica formal, que es un lenguaje formal que se ha creado para determinar las formas correctas en cómo deben usarse las proposiciones para llegar a resultados correctos.
Proposiciones
Las proposiciones son oraciones que afirman de que algo es (o no es).
Estas proposiciones son similares a las oraciones declarativas del lenguaje natural ya que nos hablan acerca de algo.
El lenguaje formal que las analiza (en este caso, la lógica formal) debe determinar a través de ciertas reglas si las proposiciones son verdaderas o falsas.
MUY IMPORTANTE: Las proposiciones NO son enunciados. Una proposición puede expresarse con diferentes enunciados.
Por ejemplo: “Lorena ganó la lotería” y “La lotería fue ganada por Lorena”. Son 2 enunciados que expresan una sola proposición.
Tipos de proposiciones
Las proposiciones pueden ser:
1.- Proposición simple: Es aquella que afirma o niega un solo hecho o acto
2.- Proposiciones compuestas: Son aquellas que están formadas por una unión de dos o más proposiciones, cada una de ellas afirmando o negando algo y conectadas por signos llamados “conectivas lógicas”.
