INDICE
Introducción………………………………………………………………………………3
1.1 Lenguaje…………………………………………………………………………...…4
1.2 Lenguaje Matemático……………………………………………………………….
1.2.1 Elementos primitivos……………………………………………………..
1.2.2 Reglas de sintaxis………………………………………………………..
1.2.3 Axiomas…………………………………………………………………….
1.2.4 Reglas de inferencia………………………………………………………
1.2.5 Definición……………………………………………………………………
1.2.6 Teorema…………………………………………………………………….
1.3 Símbolos………………………………………………………………………………
1.4 Semántica y sintaxis de: proposiciones y No proposiciones…………………..
1.5 Semántica y sintaxis de proposiciones compuestas y su negación………….
1.5.1 Cuantificadores (universal, existencia)…………………………………
1.5.2 Disyunción…………………………………………………………………
1.5.3 …ver más…

Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores de verdad de las variables que contienen. A esos argumentos se les llaman reglas de inferencia. Las reglas de inferencia permiten relacionar dos o más tautologías o hipótesis en una demostración.
1.2.5 DEFINICION
1.2.6 TEOREMA
1.3 SIMBOLOS
1.4 SEMANTICA Y SINTAXIS DE: PROPOSICIONES Y NO PROPOSICIONES
1.5 SEMANTICA Y SINTAXIS DE PROPOSICIONES COMPUESTAS Y SU NEGACION
1.5.1 CUANTIFICADORES Una cuantificación universal es una proposición de la forma:
Para todo x, P,
Donde la componente P es una proposición cualquiera.
Una cuantificación existencia es una proposición de la forma:
Existe x tal vez que P,
Donde la componente P es una proposición cualquiera.
La componente de una cuantificación es el cuantificado, y la frase que precede al cuantificado es el cuantificador.
Ejemplo de proposiciones:
(1) Algo es evidente,
(2) Todo es definible
(3) Los números primos son impares
Y expresados como cuantificaciones, lo cual revela su carácter de proposición:
(1) Existe x tal que x es evidente.
(2) Para todo x, x es definible.
(3) Para todo x, si x es un número primo entonces x es impar.
1.5.2. DISYUNCION La conectiva “o”, que se simboliza con el signo “v”, tiene la función de enlazar dos proposiciones, indicando que al menos una de ellas es verdadera (aunque también pueden serlo ambas).
Dada una proposición compuesta cuya conectiva es