ALGEBRA

LOGICA Y CUANTIFICADORES

LOGICA La Lgica Matemtica es la disciplina que trata de mtodos de razonamiento. Proposicin: Es una expresin con sentido en algn lenguaje que afirma o niega algo y que nos proporciona informacin. Las proposiciones se denotan con la letras : ; < .etc..

Ejemplo 1: : ; < El pizarrn es verde #$( A ella le gusta la msica Si observa las proposiciones, pueden ser Verdaderas o Falsas, no aceptan ambigedades. No son proposiciones: a) el interruptor b) #B $ ' c) Qu hora es ? Estos enunciados no son proposiciones porque no tienen sentido, no afirman ni niegan. Valor de Verdad: Es una funcin que define una proposicin. El valor de verdad puede ser Verdadero (V) o Falso (F).

Tablas de Verdad Una Tabla de Verdad es una forma de resumir el valor de verdad de las proposiciones. Esta se construye de acuerdo al nmero de proposiciones distintas que se den.

 Veamos cmo funciona !!

: Z J

dos posibles valores de verdad

: Z Z J J

; Z J Z J

cuatro combinaciones

: Z Z Z Z J J J J

; Z Z J J Z Z J J

< Z J Z J Z J Z J

ocho combinaciones

...y as sucesivamente.

Las proposiciones pueden ser simples o compuestas. Son proposiciones simples las que se dan en el ejemplo anterior : : ; < El pizarrn es verde #$( A ella le gusta la msica

Son compuestas aquella que se unen mediante smbolos llamados Conectivos. Conectivos Lgicos u Operadores Lgicos: Son smbolos que permiten relacionar una o ms proposiciones. Los conectivos son: la negacin ( ), la conjuncin ( ), disyuncin ( ), condicional ( ) y bicondicional ( ). Veremos cada uno de ellos a continuacin!! Negacin : : Dado un enunciado : , se puede formar otro enunciado que se llama negacin de : escribiendo "es falso que..." o "no..." antes de la proposicin : . Simblicamente se representa por :

"

Ejemplo 1: : : el da est nublado : : el da no est nublado : Z J : J Z

La Conjuncin: : ; La tabla de verdad es: : Z Z J J ; Z J Z J : ; Z J J J

La condicional : : ; La tabla de verdad es: : Z Z J J La bicondicional : : ; La tabla de verdad es: : Z Z J J ; Z J Z J : ; Z J J Z ; Z J Z J : ; Z J Z Z

La Disyuncin : : ;

&

La tabla de verdad es: : Z Z J J ; Z J Z J : ; Z Z Z J

Ejercicios M) Sean las proposiciones : El va a la fiesta ; Ella es su polola Escriba con palabras los siguientes enunciados: " # $ % & ' ( ; : ............................................................................................................ ; : ...... : : ; : .. : ; : . : ; :: ................................................................................................ : ; : ..........

MM Sean las proposiciones: : Tengo dinero ; Hoy dejar de fumar Escriba los siguientes enunciados verbales en forma simblica usando : y ; : " # $ % & ' No tengo dinero Si tengo dinero entonces hoy no dejar de fumar Tengo dinero, s y slo si, hoy dejo de fumar No es verdad que, hoy no dejar de fumar No es verdad que, no tengo dinero y que hoy no dejar de fumar Es falso que, no tengo dinero o que hoy dejar de fumar

Respuestas

M ") Ella no es su polola #) Ella es su polola o l no va a la fiesta $) No es verdad que, l no va a la fiesta %) No es verdad que, ella no es su polola &) El no va a la fiesta, s y slo si, ella es su polola ' Si l va a la fiesta y ella no es su polola, entonces l va a la fiesta () Si l va a la fiesta, entonces ella no es su polola

MM " # $ % & ' : : ; :; ; : ; : ;

TABLAS DE VERDAD PARA RESOLVER PROPOSICIONES COMPUESTAS Una manera de mostrar la relacin entre el valor de verdad de una proposicin T : ; y los valores de verdad de las proposiciones : ; es mediante una tabla de verdad.

Ejemplo Sea la proposicin : ; Primero: Se completan las dos primeras columnas correspondientes a las proposiciones : y ; : Z Z J J Segundo: Se resuelve el parntesis de la proposicin, desde adentro hacia afuera: ; Z J Z J

: Z Z J J

; Z J Z J

; J Z J Z

Luego, se va completando la expresin que est dentro del parntesis : Z Z J J ; Z J Z J ; J Z J Z : ; J Z J J

y por ltimo: se completa toda la expresin en la tabla

: Z Z J J

; Z J Z J

; J Z J Z

: ; J Z J J

: ; Z J Z Z

Por lo tanto, la solucin de : ; est dada en la ltima columna. Existe otra forma de completar la tabla de verdad de : ; y es la siguiente: Se escribe toda la expresin en la tabla colocando cada parte de sta en un cuadrado de la tabla : ; : ;

Se va completando la tabla de la siguiente forma: : Z Z J J ; Z J Z J : Z Z J J ; J Z J Z

: Z Z J J

; Z J Z J

: Z Z J J

J Z J J

; J Z J Z

La solucin de : ; est dada en la columna de la negacin . : Z Z J J ; Z J Z J Z J Z Z : Z Z J J J Z J J ; J Z J Z

Clasificacin de las Proposiciones Compuestas Tautologa Una proposicin T : ; es una tautologa si todos los valores de verdad de su ltima columna son Verdaderos, sean cules sean los valores de verdad de sus proposiciones. Contradiccin Una proposicin T : ; es una Contradiccin si todos los valores de verdad de su ltima columna son Falsos, sean cules sean los valores de verdad de sus proposiciones. Contingencia Una proposicin T : ; es una Contingencia si todos los valores de verdad de su ltima columna son Verdaderos y Falsos.

Leyes del Algebra Proposicional " Idempotencia + : : : , : : : # No Idempotencia + : J J , : J : - : Z : $ Conmutatividad + : ; ; : , : ; ; : - : ; ; : % Asociatividad + : ; < : ; < , : ; < : ; < Distributividad + : ; < : < ; < , : ; < : < ; < ' Absorcin + : : ; : , : : ; : ( Negacin + J V , Z J - Z Z ) De Morgan + : ; : ; , : ; : ; . : Z Z / : : J 0 : : Z "! * Condicionales + : ; : ; , : ; ; : Doble Implicacin : ; : ; ; :

&

Usando las leyes proposicionales tambin es posible encontrar otra expresin equivalente a la que se da, esto se hace simplificando la proposicin compuesta dada. Ejemplo Simplifique la expresin : ; : e indique cada paso que realiz Respuesta : ; : : ; : : ; : : : ; : Por lo tanto: Ejercicios I) Por Condicional De Morgan Conmutatividad Absorcin

:; : :

Simplifique las siguientes expresiones, justifique cada paso: " # $ % : ; : ; : ; : : ; : ; : ; :

II)

Niegue las siguientes expresiones, justifique cada paso: " : ; # : ; : $ : ; : ; % : : ;

III)

Demuestre que, justifique cada paso: 1 # $ % & : ; : : : ; : ; Z : ; : : ; : ; ; : ; : ; : ; : ;

Respuesta I) II) " Z # : ; # : ; $ $ : Z % % J Z

" : ;