Rodrigo Rubio N. Javier Soto G. Manuel Suil J. Vctor Vsquez C.

LGICA
Qu es lgica?
Es un sistema formal diseado para analizar ciertos tipos de argumentos. Originalmente, la Lgica trataba con argumentos en el lenguaje natural. Ejemplo Es el siguiente argumento vlido? Todos los hombres son mortales. Scrates es hombre. Por lo tanto, Scrates es mortal. La lgica debera poder usarse para demostrar que s. Ejemplo 2 Algunas personas son mujeres. Scrates es una persona. Por lo tanto, Scrates es mujer. En este caso deberamos decir que el argumento no es vlido.

Lgica Proposicional
Definicin: llamaremos proposicin a cualquier frase que puede ser verdadera o falsa Ejemplo : p: hoy es viernes q: maana es sbado p=q: si hoy es viernes maana es sbado

En la ultima pagina se adjunta simbologa.

Rodrigo Rubio N. Javier Soto G. Manuel Suil J. Vctor Vsquez C.

Conectivas lgicas.

Conectiva

Expresin en el lenguaje natural

Ejemplo

Smbolo en este artculo

Smbolos alternativ os

Negacin

no

No est lloviendo.

Conjuncin

Est lloviendo y est nublado.

Disyuncin

Est lloviendo o est soleado.

Condicional material

si... entonces

Si est soleado, entonces es de da.

Bicondicional

si y slo si

Est nublado si y slo si hay nubes visibles.

Negacin conjunta

ni... ni

Ni est soleado ni est nublado.

En la ultima pagina se adjunta simbologa.

Rodrigo Rubio N. Javier Soto G. Manuel Suil J. Vctor Vsquez C.

Disyuncin excluyente

o bien... o bien

O bien est soleado, o bien est nublado.

En la lgica proposicional, las conectivas lgicas son tratados como funciones de verdad. Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores de verdad. Por ejemplo, la conectiva lgica no es una funcin que si toma el valor de verdad V, devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto, si se aplica la funcin no a una letra que represente una proposicin falsa, el resultado ser algo verdadero. Si es falso que est lloviendo, entonces ser verdadero que no est lloviendo. El significado de las conectivas lgicas no es nada ms que su comportamiento como funciones de verdad. Cada conectiva lgica se distingue de las otras por los valores de verdad que devuelve frente a las distintas combinaciones de valores de verdad que puede recibir. Esto quiere decir que el significado de cada conectiva lgica puede ilustrarse mediante una tabla que despliegue los valores de verdad que la funcin devuelve frente a todas las combinaciones posibles de valores de verdad que puede recibir.

Negacin

Condicional

Bicondicional

Conjuncin

Disyuncin

En la ultima pagina se adjunta simbologa.

Rodrigo Rubio N. Javier Soto G. Manuel Suil J. Vctor Vsquez C.

Tablas de verdad La tabla de verdad de una frmula es una tabla en la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituye la frmula y el valor de verdad de la frmula completa para cada interpretacin. Por ejemplo, la tabla de verdad para la frmula sera:

Como se ve, esta frmula tiene 2n interpretaciones posibles una por cada lnea de la tabla , donde n es el nmero de variables proposicionales (en este caso 3, es decir p, q, r) , y

En la ultima pagina se adjunta simbologa.

Rodrigo Rubio N. Javier Soto G. Manuel Suil J. Vctor Vsquez C.

resulta ser una tautologa, es decir que bajo todas las interpretaciones posibles de las variables proposicionales, el valor de verdad de la frmula completa termina siendo V. En cambio si el valor de verdad de la frmula completa termina siendo F corresponde a una falasia o contradiccin y si el valor de verdad de la formula completa termina tanto en F como en V corresponde a una contingencia.

Las leyes lgicas son muy numerosas, pero hay algunas muy importantes que se refieren a la conjuncin, disyuncin y negador (La significa tautologa y la contradiccin):

Idempotencia

Asociativa

Conmutativa

Identidad

En la ultima pagina se adjunta simbologa.

Rodrigo Rubio N. Javier Soto G. Manuel Suil J. Vctor Vsquez C.

Absorcin

Distributiva

De Morgan

En la ultima pagina se adjunta simbologa.

Rodrigo Rubio N. Javier Soto G. Manuel Suil J. Vctor Vsquez C.

Ejercicios resueltos: I.- Usando la tabla de verdad, demostrar: 1) p p F R:// p V F p F V p p F F

3) p V p R:// p V F V V V pV V F

4) p V V p V F V V V pV V V

En la ultima pagina se adjunta simbologa.

Rodrigo Rubio N. Javier Soto G. Manuel Suil J. Vctor Vsquez C.

5) p ( p q ) p R:// p V V F F q V F V F pq V V V F p(pq) V V F F

II.- Utilizando esas definiciones y las leyes de lgica matemtica, demostrar las siguientes tautologas: 1 ) p ( q q ) p p ( q q ) p F ( Complemento ) p F ( Definicin ) p ( Identidad ) 2 ) ( q q ) p p ( q q ) p ( q q ) p ( Definicin ) V p ( Complemento ) F p ( Complemento ) p ( Identidad ) 3) (pq)r p(qr) ( p q ) r ( p q ) r ( Definicin )

En la ultima pagina se adjunta simbologa.

Rodrigo Rubio N. Javier Soto G. Manuel Suil J. Vctor Vsquez C.

( p q ) r ( De Morgan ) p ( q r ) ( Asociatividad ) p ( q r ) ( Definicin )

Ejercitacin: I.- Usando la tabla de verdad, demostrar: 1) ( p q ) p q 2) ( p q ) p q 3) ( p q ) r p ( q r ) 4) p ( q r ) ( p q ) ( p r ) 5) p ( q r ) ( p q ) ( p r ) 6) p q ( p q ) ( p q ) 7) p q ( p q ) 8) p q ( p q )

II.- Sean p, q, r proposiciones. Probar sin usar tablas de verdad que la proposicin presentada en cada tem es una tautologa.

En la ultima pagina se adjunta simbologa.

Rodrigo Rubio N. Javier Soto G. Manuel Suil J. Vctor Vsquez C.

1.- (p q p r) ((q p) (p r)). 2.- (p q) (r q) (p r). 3.- (p q) [(q r) (p r)]. 4.- [(p q) (r q) r] p.

III.- Utilizando esas definiciones y las leyes de lgica matemtica, demostrar las siguientes tautologas: 1 ) p q q p 2 ) ( p q ) p q 5) p(qr) q(pr) 4) p p p 5) pq (pq)(pq) 6) ( p r ) ( q r ) ( p q ) r 7) (pr)(qr) (pq)r 8 ) p q p q

En la ultima pagina se adjunta simbologa.

Rodrigo Rubio N. Javier Soto G. Manuel Suil J. Vctor Vsquez C.

En la ultima pagina se adjunta simbologa.