logica

La lógica proposicional es la parte de la lógica que estudia la formación de proposiciones complejas a partir de proposiciones simples, y la inferencia de proposiciones a partir de proposiciones,pero sin tener en cuenta la estructura interna de las proposiciones más simples.1
Una lógica proposicional es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constanteslógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
Lógica Simbólica
Es el estudio de la lógica mediante lamatemática, que incorpora la exactitud y rigor matecatico.
Lógica Cuantificación
También llamada lógica de predicados o calculo de predicados es un sistema formal diseñado para estudiar la indiferenciaen las lenguas del primer orden.
Proposiciones
Sera compuesta si no es simple si esta afectada por negaciones o términos de enlace entre oraciones componentes.
Proposición simple.
En laproposición simple, se da una afirmación con el resultado implícito
2.      Proposición compuesta.
En la proposición compuesta se da la proposición lleva las interjecciones o conexiones (y- o) y de estase pueden separar oraciones como:
a)      El lápiz es rojo o amarillo.
b)      Héctor es comerciante y Víctor es abogado. Una proposición debe tener la cualidad de ser verdadera o falsa y unaoración o concepto que no tiene uno u otro sentido no puede ser considerado como proposición lógica; es así que la lógica proporcional en su concepto previo solo puede tener tres elementos:
1.     Proposición
2.      Valor verdadero o
3.      Valor falso




Ejemplo de proposición:
1.- En la oración “el frijol es amarillo o negro” Se puede comprobar que el frijol es de un color u otro yla proposición se divide solo entre amarillo y negro del cual se debe desprender la verdad.
2.- En la oración “Saludos” no existe proposición, de la cual se puede desprender una disyuntiva de...