Lgica Proposicional

Es una rama de la lgica clsica que estudia las variables

proposicionales o sentencias lgicas, sus posibles implicaciones,
evaluaciones de verdad y en algunos casos su nivel absoluto de
verdad. Algunos autores tambin la identifican con la lgica
matemtica o la lgica simbolice, ya que utiliza una serie de
smbolos especiales que lo acercan al lenguaje matemtico.
Proposiciones

Tautologa: se define tautologa o validez a aquella formula que siempre es verdadera.

Contradiccin: es una proposicin que siempre es falsa para todos los valores de verdad.
Para cualquier valor de verdad de las proposiciones, sea cual sea el resultado de la formula
lgica estudiada siempre va a ser falso.

Conjuncin: es aquella formula que es falsa o verdadera. Las expresiones de las que
depende la validez de los argumentos se definen constante lgicas.

Conectores

Negacin: no -> >, ~

En lgica y matemtica, la negacin, tambin llamada complemento lgico, es una

operacin sobre proposiciones, valores de verdad, o en general, valores semnticos.
Intuitivamente, la negacin de una proposicin es verdadera cuando dicha proposicin es
falsa, y viceversa. En lgica clsica la negacin est normalmente identificada con la
funcin de verdad que cambia su valor de verdadero a falso y viceversa.

Conjuncin: Y , Solamente si las componentes de la conjuncin son ciertas, la

conjuncin es cierta.

Disyuncin: O , La disyuncin solamente es falsa si lo son sus dos componentes.

Condicional: entonces
Tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad
falso slo cuando la primera proposicin es verdadera y la segunda falsa.
Bicondicional: si solo s.
El Bicondicional o doble implicacin es un operador que funciona sobre dos valores de
verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso
cuando sus valores de verdad difieren.

Si como o almuerzo y ceno, entonces como o almuerzo y como o ceno.

Estas leyes estn formuladas por pares debido a la naturaleza dual del lgebra
de proposiciones.

Propiedad conectiva:
Propiedad Distributiva de al Conjuncin: de una conjuncin tomada como
premisa, si una de las proposiciones es una disyuncin podemos concluir una
disyuncin entre dos conjunciones.

Propiedad Distributiva de la Disyuncin: de una disyuncin tomada como

premisa, si una de las proposiciones es una conjuncin podemos concluir una
conjuncin entre dos disyunciones.
http://prezi.com/2gctipg99ymk/?utm_campaign=share&utm_medium=copy