MATEMTICA I

UNIDAD I

INTRODUCCIN A LA LGICA Y A LA TEORA DE CONJUNTOS

COMPETENCIA ESPECFICA

Analiza y resuelve problemas aplicando las propiedades del lenguaje lgico y de la teora de . conjuntos.

SEMANA 1

LGICA PROPOSICIONAL

LGICA PROPOSICIONAL
Enunciado
Se llama enunciado a toda expresin verbal o escrita, como una frase u oracin.
Ingresaste a la universidad ! 3 es un nmero impar EJEMPLOS Cul es tu nombre?

Daniel Alcides Carrin fue reconocido como hroe y mrtir

de la Medicina Latinoamericana.

LGICA PROPOSICIONAL

ENUNCIADO ABIERTO Es un enunciado que contiene variables.

Ejemplos

Ana tiene x aos de edad y + 4 10 2x+1=0.

PROPOSICIN
Es una expresin, enunciado u oracin a la que se le puede calificar como verdadera o falsa, sin ambigedades. Las proposiciones lgicas se denotan generalmente por letras minsculas como: p, q, r, s, , etc
Ejemplos:

p : Lima es la capital del Per (V) q : 6 + 8 = 10 (F) r : la tierra es el planeta del universo donde existe vida. (V)

NO SON PROPOSICIONES

Quin viene?

( interrogacin) ( admiracin ) (orden) Pues no son verdaderas, ni falsas.

Aprob mi curso! Sintate y escucha.

CONECTIVOS LGICOS
Se denota por y se lee no es cierto que ... o es falso que ... o no

LA NEGACIN LA CONJUNCIN LA DISYUNCIN

Se denota por y se lee y

Se denota por y se lee O

CONECTIVOS LGICOS
LA DISYUNCIN EXCLUSIVA

Se denota por

Se denota por y se lee LA CONDICIONAL si... entonces LA BICONDICIONAL Se denota por y se lee si solo si

TABLA DE CONECTIVOS
CONECTIVO LGICO SMBOLO LECTURA VALOR DE VERDAD

1 2 3 4

Conjuncin Disyuncin inclusiva Disyuncin exclusiva Condicional

pq pq pq pq

y , tambin, como o , o p o q p entonces q p implica q q si p p si solo si q

Es V, si ambos son V Es F, si ambos son F Es F, si ambos son iguales Es F, si p es V y q es F p se llama antecedente

q se llama consecuente

Bicondicional

pq

Es V si ambos son iguales

TABLA DE VALORES
p V V F q V F V pq V F F pq V V V pq F V V pq V F V pq V F F

PROPIEDAD
Si n es el nmero de variables de una proposicin compuesta, entonces el nmero de arreglos posibles de los valores de verdad esta dada por 2n.

Si una proposicin tiene 3 variables, existen 23=8 combinaciones

Si existen 4 variables, entonces habrn 24= 16 combinaciones

AGRUPAMIENTO DE PROPOSICIONES
En el desarrollo de una tabla de valores, se inicia con el conectivo lgico de menor jerarqua y se concluye con el de mayor jerarqua. El conectivo lgico de mayor jerarqua da el nombre a la proposicin compuesta.

Si se utiliza los signos de agrupacin, el conectivo lgico que queda fuera del signo de agrupacin es el de mayor jerarqua.
Si una proposicin carece de signos de agrupacin, entonces la jerarqua de los conectivos lgicos , de menor a mayor se da en el siguiente orden:

TAUTOLOGIA CONTRADICCIONES Y CONTINGENCIAS

Una proposicin compuesta o molecular se dice que es una tautologa si el resultado global de la tabla es verdadera.

Una proposicin se dice que es una contradiccin, si el resultado global es falsa.

Una proposicin compuesta se dice que es una contingencia si en el resultado final de la tabla de valores aparecen verdaderas y falsas.

A las tautologas se les llama tambin leyes o principios lgicos

OJO!

Cuando una Condicional tiene valor de verdad verdadera o es una TAUTOLOGA entonces se llama IMPLICACIN LGICA.

Cuando una Bicondicional tiene valor de verdad verdadera o es una TAUTOLOGA entonces se llama EQUIVALENCIA LGICA.

7 8

LEY BICONDICIONAL LEY DE SIMPLIFICACION

p q ( p q ) ( ~p ~ q ) ~( p q ) ( p ~ q ) ( ~ p q )
pqp pqq p ( q r) ( p q ) ( p r) p ( q r ) ( p q ) ( p r) ( p (q r)) ( p q ) ( p r ) ( p (q r) ) ( p q ) ( p r )

LEY DISTRIBUTIVA LEY CONTRARECPROCA LEY DE MORGAN

10 11

pq~q~p pq ~q~p ~ ( p q ) ~p ~ q ~(pq) ~p~q

p(pq)p p(pq)p p(~pq) pq p(~pq) pq p Tp, pT T, p C p p CC

12

LEY DE ABSORCION

13 14

ELEMENTO NEUTRO TAUTOLOGIA Y CONTRADICCIN

p~p T p~p C

TABLA DE TAUTOLOGAS O PRINCIPIOS LGICOS

1 2 LEY DE INVOLUCIN LEY DE IDEMPOTENCIA ~ ( ~p) p ppp pp p p q qp p q qp

LEY CONMUTATIVA

LEY ASOCIATIVA

(p q ) r p ( q r ) (pq)rp(qr)
pq ~pq ~(pq) p~q ppp ppp

LEY CONDICIONAL

LEY DE ADICIN