Logica Proposicional

Lógica proposicional.
El cálculo.
Un cálculo es una estructura o esquema que relaciona elementos entre si usando reglas. Los elementos de un cálculo carecen de significado. El cálculo puedeencontrarse en cualquier lenguaje, si quitáramos el significado de los componentes lingüísticos encontraríamos el cálculo que lo soporta. Es comparado también con un juego, las fichas carecen designificado que se relacionan mediante reglas que constituyen propiamente el juego en si mismo.
Tiene tres elementos:
1. Elementos primitivos o símbolos elementales: su identificación, cuáles y cuantos debeser perfecta, sin margen de error. Esto se puede hacer de dos formas; por numeración exhaustiva mencionando todos los elementos o señalando una propiedad que cumplan todos los elementos del cálculo ysolamente ellos.
2. Reglas de formación de formas: normas que delimitan cuales son las combinaciones correctas de los elementos primitivos. Ellas marcaran que se considera una expresión bienconstruida.
3. Reglas de transformación de fórmulas: son normas que nos permiten convertir una formula bien construida en otra distinta igualmente bien construida.

Estas reglas representan el aspectodinámico del cálculo.

Metalenguaje.
El lenguaje natural se refiere mayoritariamente al mundo o realidad, en ocasiones una expresión lingüística puede referirse a otra expresión lingüística, en este casoel lenguaje habla sobre el lenguaje. Cuando se dan estas circunstancias al lenguaje que habla sobre él, lo llamamos metalenguaje, al lenguaje del que se habla lo llamamos lenguaje objeto. Sermetalenguaje y lenguaje objeto no son determinaciones absolutas, sino relativas: un metalenguaje puede ser a su vez lenguaje objeto de una expresión.
Razonamiento o argumentación.
Es un tipo de pensamientopor el que pasamos de unas afirmaciones iniciales (premisas) a una nueva afirmación que se deriva necesariamente de aquella o aquellas (conclusión).
Validez formal.
Validez no es verdad,...