A P U N T E S

D E

M A T E M T I C A

Lgica
1. Lgica Matemtica.............................................................................................................................1 1.1. Lgica........................................................................................................................................ 2 1.2. Conectivos lgicos .................................................................................................................... 3 1.3. Tautologas Fundamentales....................................................................................................... 4 2. Ejercicios Resueltos ...........................................................................................................................5

1. Lgica Matemtica
La lgica como disciplina tiene por objeto estudiar el pensamiento desde el punto de vista de las formas de razonar, es decir de manejar los juicios en un determinado lenguaje. Si hablamos de un lenguaje, entonces este ha de tener una estructura semntica y una estructura sintctica. Pues bien, ahora vamos a iniciarnos en el estudio de una lgica muy especial y que en muchos casos es bien diferente de lo que comnmente calificamos de lgico. En general nosotros manejamos en la vida diaria varios tipos de lenguaje, por ejemplo el oral, el escrito, el de las seales viales, el gestual, el emocional, etc., pero hay uno muy especial que es utilizado por las personas para validar sus trabajos en ciencia y en las TIC llamado lgica matemtica y de la cual hacemos un buen manejo en forma implcita para el estudio de la biologa, la fsica, las matemticas, la qumica y el espaol, como tambin en muchas otras actividades cotidianas. Para iniciarnos conscientemente en la lgica matemtica debemos decir que muchas de las expresiones que utilizamos en el lenguaje cotidiano tienen su equivalente en la lgica matemtica, aunque no todas. El elemento bsico de expresin que emplearemos se llama proposicin y consiste en una frase que posee un solo sujeto el cual padece o ejecuta una sola accin. La frase debe expresar un juicio y de su contenido (lo que all se expresa) se debe poder decir si es verdadero o falso, pero no ambas posibilidades simultneamente y tampoco admite una tercera posibilidad. Determinar si una oracin es consecuencia lgica de un conjunto de oraciones es prcticamente imposible: tendramos que ser capaces de verificar si la conclusin del argumento es verdadera en todas las instancias (o interpretaciones posibles de las palabras que componen el argumento) en las que las premisas son verdaderas. Por lo general, notamos que en el estudios de lgica surge naturalmente una suerte de lgebra, o manipulacin simblica. Veremos cmo puede usarse los diagramas de Venn para demostrar la correccin de cierto tipo de argumentos.

Lgica

http://www.mateuv.blogspot.com

A P U N T E S

D E

M A T E M T I C A

Por otra parte, haremos notar que la relacin de consecuencia lgica depende de la estructura sintctica de las oraciones que componen un argumento y no de su significado. Resulta natural entonces pensar que se puede estudiar este concepto usando herramientas matemticas. La lgica matemtica no es un tipo de lgica como los mencionados ms arriba, sino la disciplina que (entre otras cosas) desarrolla modelos matemticos del concepto de consecuencia lgica, cualquiera sea la lgica involucrada.

1.1.

Lgica

Definicin: Una proposicin es una aseveracin de la cual podemos afirmar que es verdadera falsa. La veracidad o falsedad de dicha proposicin se denomina valor de verdad. Ejemplos Son proposiciones: Chile firm el TLC con Japn Barrick Gold es la empresa que llevar acabo el proyecto Pascua Lama 5 + 9 = 40 No son proposiciones: Cunto dinero recibir cuando trabaje? Cundo nos mechonean? Notacin: En adelante, utilizaremos las letras p, r , s, t , K , etc para referirnos a proposiciones cualesquiera. Definicin: Denominaremos conectivos lgicos a ciertos smbolos utilizados para combinar proposiciones, produciendo as otra llamada proposicin compuesta. El valor de verdad de las proposiciones compuestas depende de los valores de verdad de las proposiciones que la conforman y del conectivo lgico que las une.

Segn lo anterior, para la proposicin P cualquiera hay dos alternativas: P es verdadera o bien P es falsa. Hecho que denotaremos de la siguiente forma:
Lgica 2 http://www.mateuv.blogspot.com

A P U N T E S

D E

M A T E M T I C A

P V F Si la proposicin R es compuesta, y est compuesta por dos proposiciones: P y Q, tendremos tantas alternativas para el valor de verdad de R, como se observa: P V V F F En este caso, obtenemos 4 alternativas. En general, si la proposicin compuesta est formada por n proposiciones las alternativas son 2 . Definicin: Llamaremos tabla de verdad al arreglo que nos permite tener todas las posibilidades de valor de verdad de una proposicin compuesta.
n

Q R V F V F

1.2.

Conectivos lgicos

Como mencionamos arriba para unir las proposiciones necesitamos de conectivos lgicos, los ms utilizados son: Nombre Conjuncin Disyuncin Implicacin Doble Implicancia Disyuncin exclusiva Smbolo

Proposicin Compuesta pq pq pq pq

Se lee pyq poq p implica q p si y solo si q Exclusivamente p o exclusivamente q

pq

Los conectivos mencionados, tienen asociado la siguiente Tabla general:

Lgica

http://www.mateuv.blogspot.com

A P U N T E S

D E

M A T E M T I C A

P V V F F

q V F V F

pq

pq

pq
V F V V

pq
V F F V

pq
F V V F

V F F F

V V V F

p F F V V

Observacin: A partir de una proposicin p cualquiera siempre se puede construir otra denominada negacin de p y se indica con el smbolo p .

Una proposicin compuesta puede ser: Tautologa: es una proposicin cuyo valor de verdad siempre es verdadero, independiente de los valores de verdad de las proposiciones que la componen. Contradiccin: es una proposicin cuyo valor de verdad siempre es falso, independiente de los valores de verdad de las proposiciones que la componen. Contingencia: No es tautologa ni contradiccin

1.3.

Tautologas Fundamentales

Una tautologa es la repeticin de un mismo pensamiento expresado de distintas maneras, por lo cual, con las tautologas fundamentales nos referimos a la equivalencias de ciertas proposiciones. Las ms utilizadas son: Conmutatividad:
pqq p pqq p

pqq p

Asociatividad:

( p q ) r = p (q r )
p (q r ) ( p q ) ( p r )

( p q ) r = p (q r )
p (q r ) ( p q ) ( p r )

Distributividad:

Implicacin:
pq pq
Lgica 4

pqq p
http://www.mateuv.blogspot.com

A P U N T E S

D E

M A T E M T I C A

De Morgan:

( p q) p q
p ( p q) p

( p q) p q
p ( p q) p

Absorcin:

Idempotencia

p p p

p p p

Identidad:

pF p

p V V

pF F

p V p

2. Ejercicios Resueltos
3.1 Sabiendo que
p q r F . Demuestre que la proposicin ms simplificada de

{( p q ) ( q r )} ( r p )

es la proposicin p q r.

Solucin Como se debe demostrar que {( p q ) ( q r )} ( r p ) se puede simplificar a la forma p q r. Se puede deducir que, al realizar una tabla con las dos proposiciones los resultados debiesen ser los mismos. Adems, se debe considerar que p q r F , es decir, que al realizar la tabla no se debe considerar el caso de las tres proposiciones verdaderas. p V V V F F F F q V F F V V F F r F V F V F V F
p F F F V V V V q F V V F F V V pq V F F V V V V qr F V V V F V V r p F F F V F V F
{( p q ) ( q r )} ( r p ) V V V V V V F
p q r.

V V V V V V F

De ah que, nos damos cuenta que la primera proposicin es idntica a la segunda.

Lgica 5 http://www.mateuv.blogspot.com

A P U N T E S

D E

M A T E M T I C A

Otra manera de resolver el ejercicios es, simplificar la proposicin inicial y considerar p q r F lo que implica p q r V .
{( p q ) ( q r )} ( r p )

(p q ) (q r ) (r p) ( p q r ) (p q r )
(p q r) V
pqr

( p q) (q r ) (r p)

3.2 Utilice lgebra de proposiciones para demostrar que ( p q ) q p es una tautologa Solucin

( p q) (q p)

(p q ) (q p )
(p q ) (q p )

(p q ) (q p )
V

3.3 Sean p, q, r proposiciones. Pruebe, sin utilizar tablas de verdad que:

( p r ) [( p q) r ]
Solucin ( p r ) [( p q) r ] Por lo tanto, queda demostrado que

(p r ) [( p q) r ] (p r ) [(p q) r ] (p r ) [(p r ) q] [(p r ) (p r )] q [(p r ) (p r )] q

V q V

( p r ) [( p q) r ]

3.4 Sean p, q, r, s proposiciones. Pruebe sin usar tablas de verdad que:

[( p q) (s r)] [p r (q s)]
6

Lgica

http://www.mateuv.blogspot.com

A P U N T E S

D E

M A T E M T I C A

Solucin

[( p q) (s r)] [p r (q s)]

[( p q) (s r)] [p r (q s)] [(p q) (s r)] [p r (q s)]

[(p q ) p ] [(s r ) r ] (q s ) [(p p ) (p q )] [(r s ) (r r )] (q s ) [q p] [s r ] (q s ) p r [(q s ) (q s )]
V

Lgica

http://www.mateuv.blogspot.com