logica de proposiciones

Logica de proposiciones
La Logica Proposicional ( LP) trata con sentencias declarativas, las cuales reciben el nombre de proposiciones y son evaluadas de forma excluyente como verdaderas o falsas. Las sentencias abstractas del lenguaje de la LP se forma con reglas sintacticas que combinan los simbolos de proposiciones logicas. Ejemplos de proposiciones son: ``la tierra es redonda'', ``la luna gira alrededor de la tierra'', ``Jaime Rangel tiene el grado de doctor''.
Las proposiciones en logica se denotan por simbolos como P, Q y R que son llamados formulas atomicas . Dichas proposiciones pueden ser compuestas usando los conectivos logicos:

Negacion

Conjuncion

Disyuncion

Implicacion

Si y solo Si.
El proprosito de las reglas de construccion que constituyen la sintaxis es permitir la especificacion de combinaciones particulares llamadas formulas. El lenguaje de la logica proposicional es el conjunto de formulas. para dar como resultado las denominadas formulas bien formadas.