Está en la página 1de 32

LOGICA Y CONJUNTOS

JOSE ARMEL GONZALEZ PALOMA CODIGO 200922442 SEMESTRE XI

LICENCIADO MIGUEL ACERO

UNIVERSIDAD PEDAGOGICA Y TECNOLOGICA DE COLOMBIA FACULTAD DE ESTUDIOS A DISTANCIA PROFUNDIZACION EN EL AREA DEL ENFASIS I UNIDAD I BOGOTA 2011

LAS PROPOSICIONES
son enuciados, oraciones declarativas, o expresiones simbolicas de las cuales se puede decir, sin ambiguedad , que son verdaderas o falsas, pero no ambas a la vez.

CLASES

SIMPLES
* tambien llamadas "atomicas" *son aquellas que no se pueden dividir

COMPUESTAS
*tambien llamadas "moleculares" *son aquellas que estan formadas por dos o mas proposiciones simples unidas por operadores logicos.

Ejemplo: Los zapatos son negros

Ejemplo: El perro ladra y cuida la casa.

VALOR DE VERDAD

Es la calidad de veracidad o falsedad que puede tener una proposicin

el valor de verdad de una proposicion verdadera es verdad. Ejemplo: "Gabriel Garcia Marquez escribi Cien Aos de Soledad" = su valor de verdad es verdadero.

el valor de verdad de una proposisicon falsa es falso. Ejemplo: "una docena tiene 10 unidades" = su valor de verdad es

falso

Estan dados por algun criterio independiente de la proposicion que va acorde a la experiencia y a los hechos.
Ejemplo: al analizar una propuesta hay que analizar si es buena o mala; verdadera o falsa, en otras palabras hay que darle un valor.

NEGACION DE PROPOSICIONES

Tambin llamado complemento lgico, es una operacin sobre proposiciones, valores de verdad, o en general valores semnticos. Una proposicin es verdadera cuando la proposicin es falsa y falsa cuando es verdadera.

NO, NO ES CIERTO. AGRUPACION Smbolo = ( ) [ ] Nombre: parntesis y corchetes Ej: Se utilizan para hacer asociaciones. Smbolo =

Y O Smbolo =

^
Smbolo =

Nombre: Negacin Ej: Juan no pudo sacar 10 en su examen.

Nombre: conjuncin Ej: Carlos trabaja sin embargo estudia. Nombre: Disyuncin inclusiva, permite todos los casos. Ej: Cuatro es un nmero par o el tres es impar.

p^q

Pvq.

CONECTORES U OPERADORES LGICOS


Son palabra y/o smbolos que enlazan proposiciones con el fin de construir un lenguaje (verbal o simblico) ms amplio.
O O, Smbolo =

SI Y SOLO SI

Smbolo = SIENTONCES Smbolo =

Nombre: Disyuncin exclusiva, permite uno de todos los casos. Ej: O vas al cine o estudia en la noche.

Nombre: Si condicional o implicacin. Ej: si compro este vestido entonces le regalare la camisa a mi hermano.

Nombre: Bicondicional o implicacin doble. Ej: Tomare el taxi si y solo si llueve.

VALOR DE VERDAD DE PROPOSICIONES COMPUESTAS.

Depende del valor de verdad de las proposiciones que la componen y la forma en que estn conectadas.

Se jerarquiza as: Negacin, Conjuncin, Disyuncin, Implicacin, Bicondicional y son asociadas por la izquierda.

Por ejemplo

por ejemplo

pq^r

se resuelve: 1. Negamos r (r)

2. Luego resolvemos la conjuncin (p^q) 3. Por ltimo resolvemos la implicacin

Si

Tiene mayor los signos de agrupacin Ejemplo: (pq) conjuncin

^r

En este caso se resuelve: 1. La implicacin (pq) 2. Luego hacemos la negacin de r

(r)

3. Por ltimo la

Se

Se debe tener en cuenta una Wff= significa formula bien formada (well formed formula)

TABLAS DE VERDAD
Instrumento en la lgica prosicional empleado para indicar las diferentes interpretaciones de una formula y el resultado de las mismas.

CONJUNCION
Dadas dos proposiciones cualesquiera que sean p y q, llamaremos conjuncion de ambas a la proposicion compuesta p y q y la notaremos p^q. la proposicion sera verdadera solo si ambas son verdaderas

P
V V F F

Q
V F V F

P^Q
V F F F

DISYUNCION INCLUSIVA
p q V F V pvq V V V

Dadas dos proposiciones cualesquiera p y q, llamaremaos disyuncin de ambas a la proposicion compuesta p q y la notaremos pvq. esta proposicin ser verdadesra si al menos una de las dos p q es verdadera.

V V F

DISYUNCION EXCLUSIVA
dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin exclusiva de ambas a la proposicin compuesta "p q pero no ambos" y la notaremos p v q. esta proposicion ser verdadera si una u otra pero no ambas son verdaderas. Es decir cuando tengan distinto valor de verdad. Y falsa cuando ambos valores sean iguales.

p V V F F

q V F V F

pvq F V V F

NEGACION
Dada una proposicion cualquiera, p, llamaremos "negacin de p" a la proposicin "no p" y la notaremos p. Ser verdadera cuando p sea falsa y falsa cuando p sea verdadera.

V
F

F
V

LA CONDICIONAL
Dadas dos proposiciones p y q, a la proposicin compuesta "si p, entonces q" se le llama "proposicin condicional" y se nota por p q. A la proposicin p se le llama hipotesis, antecedente, premisa o condicin suficiente. y a la q tesis, consecuente, conclusin o condicion necesaria del condicional. una proposicin condicional es falsa unicamente cuando siendo verdad la hipotesis, la conclusion es falsa.

p V V

q V F

pq V F

F
F

V
F

V
V

q V F V F

pq V F F V

PROPOSICION BICONDICIONAL
Dadas dos proposiciones p y q, a la proposicin compuesta "p si y solo si q" se el llama "proposicin bicondicional " y se nota por pq. Luego la proposicin bicondicional pq es verdadera unicamente en caso de que ambas proposiciones, p y q, tengan los mismso valores de vrdad.

V V F F

NUMERO DE VALORES QUE SE ASIGNA A CADA VARIABLE PROPOSICIONAL


El nmero de valores o de filas que puede tener una determinada variable proposicional en un equema molecular, est dado por la formula 2 n donde n representa el nmero de proposiciones simples que existen en el esquema molecular

Ej: pvq, tiene dos proposiciones simple 2ntonces 22 . la proposicion molecular debe llevar 4 filas o 4 vlores p q pvq
V V F V F V V V V

TIPOS DE FORMULAS PROPOSICIONALES TAUTOLOGIA

Es toda proposicin cuyo valor de verdad de la conectiva principal es siempre verdadero ( V) es decir su valoracion final es verdadera.

Ej: Sea la proposicion p(pvq) p V V F F q V F V F p V V F F V V V V (P V V F F V V V V F q) V F V F

CONTRADICCION

Es toda proposicion cuyo valor de verdad de la conectiva principal es falsa, se denota por f

Ej: la proposicin (p^q) ^ q es una contradiccion segn la siguiente tabla p V V F F q V F V F (p V V F F ^ V F F F q) V F V F ^ F F F F q F V F F Conectiva principal es falsa.

FALACIA O CONTINGENCIA
Es toda proposicin lgica cuyo valor de verdad tiene al menos un valor verdadero (v) y un valor falso (f).

Ej: Sea la proposicin (pvq)p

p V V F F

q V F V F

(pvq) V V V F

V V F F

p F F V V
Conectores principales son verdaderos y falsos

EQUIVALENCIAS LOGICAS MAS COMUNES IMPLICACIONES LOGICAS MAS COMUNES NOMBRE Adicin Simplificacin FORMULA

p (pvq) (p^q) p

LEY DEL MODUS PONENDO PONENS (MODUS PONENS). Dado un condicional y afirmando (ponendo), el antecedente, se puede afirmar (ponens) el consecuente. LEY DEL MODUS TOLLENDO TOLLENS (MODUS TOLLENS). Dado un condicional y negando (Tollendo) El consecuente, se puede negar (Tollens) el antecedente. LEYES DE LOS SILOGISMOS HIPOTTICOS.

[(pq)^p] q

[(pq)^q]

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

LEYES DE LOS SILOGISMOS DISYUNTIVOS

[p ^ (p v q)] [p ^ (p v q]

q q (q v s)

LEY DEL DILEMA CONSTRUCTIVO

[(pq)^(r s)^(p v r)]

CONTRADICCION

(p c)

NOMBRE

FORMULA

IDEMPOTENCIA DE LA CONJUNCION Y LA DISYUNCION CONMUTATIVIDAD DE LA CONJUNCION Y LA DISYUNCION

(p ^ p) (p v p) (p ^ q) (p v q)

p p (q ^ p) (q v p) [p ^ (q ^ r)] [p v (q v r)] [(p ^ q) v (p ^ r)] [(p v q) ^ (p v r)]

ASOCIATIVIDAD DE LA CONJUNCION Y LA DISYUNCION DISTRIBUTIVIDAD DE ^ RESPECTO DE v Y DE

v RESPECTO DE ^

[(p ^ q) ^ r] [(p v q) v r] [p ^ (q v r)] [p v (q ^ r)]

LEYES DE DE MORGAN

LEYES DE DOMINACION

LEYES DE IDENTIDAD

DOBLE NEGACION

(p v q) (p ^ q) (p ^ q) (p v q) pvt t p^c c p^t p pvc p p p (p q) (p v q) [(p ^ q) r]

IMPLICACION

EXPORTACION

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

CONTRARRECIPROCA

(q p) [(p ^ q) c]

REDUCCION AL ABSURDO

CONJUNTO
Coleccion de objetos o individuos que tienen en comn una o varias propiedades que lo caracterizan

CLASES DE CONJUNTOS
CONJUNTO UNIVERSAL O REFERENCIAL Es el conjunto que contiene, comprende, o dentro del cual estn todos los dems conjuntos. se le simboliza por la letra U. Ej: sean los conjuntos A= [1, 2, 3] B= [4, 6] El conjunto universal sera, U= [0,1,2,3,4,5,6,7,8,9] CONJUNTO VACIO Es el conjunto que no tiene elementos , o que estos son inexistentes. A = [X/X son perros con alas] entonces E=[] s puede representar CONJUNTO FINITO cuando los miembros o elementos del conjunto se pueden contar o enumerar. Ej: el conjunro de las letras del alfabeto A = {X/X son las letras del alfabeto castellano}

CLASES DE CONJUNTOS

CONJUNTO INFINITO Cuando los elementos o miembros del conjunto no se pueden enumerar o contar. Ej: B = {x/x son las estrellas del universo}

CONJUNTO UNITARIO Es el conjunto que tiene un solo miembro o elemento. Ej: B = { la luna}

CONJUNTOS DISYUNTOS O DISJUNTOS son aquellos que no tienen elementos en comn. Es decir , la interseccion de estos dos conjuntos es igual a un conjunto vacio. sean A= {1,2} y B= {3,4}

CLASES DE CONJUNTOS

CONJUNTOS EQUIVALENTES Corresponde a los conjuntos con el mismo nmero cardinal es decir ciuando tine el mismo numero de elementos. Ej:

CONJUNTOS IGUALES
Cuando los conjuntos tienenlos mismos elementos. Ej: B = { 1,2,3,4,5} F = {3,5,2,4,1

CONJUNTOS HOMOGENEOS cuando sus miembros o elementos que los componenen, pertenecen al mismo tipo o genero. por ejemplo un conjunto compuesto por numeros unicamente o unicamente por letras, etc.

A = {1,2,3,4,5 }
B = { a,e,i,o,u}

CLASES DE CONJUNTOS

COINJUNTOS CONGRUENTES CONJUNTOS HETEROGENEOS Son aquellos compuestos por diferentes tipos, clases, generos, etc. Dos conjuntos numricos son congruentes, cuando cuando sus respectivos miembros se pueden poner en correspondencia uno auno, de manera que la distancia entre ellos se mantenga. Ej: A = [2, 4, 6, 8, 10] B = [7, 9, 11, 13, 15] 2 y 7 y las dems parejas mantienen entre ellos una distancia o diferencia de 5.

CONJUNTOS NO CONGRUENTES Cuando entre dos conjuntos no se da una correspondencia entre los miembros o elementos de los conjuntos, de manera que la distancia entre ellos no sea constante

Ej:
a = {1, prado, radio}

Ej:
A= [2,4,6,8,10] B= [5,6,7,8,9]

OPERACIONES CON CONJUNTOS


UNION DE CONJUNTOS La unin de A U B de A con B , es el conjunto cuyos elementos pertenencen a A o pertenecen a B. su smbolo es U.

INTERSECCION La interseccin AB entre A y B , es el conjunto cuyos elementos pertenecen a A y pertenecen a B. su simbolo es .

COMPLEMENTO DE UN CONJUNTO
El complemento de A con respecto a U es el conjunto cuyos elementos son todos los elementos de U que no pertenecen a A y se denota A' Ac

DIFERENCIA DE UN CONJUNTO

La diferencia o complemento relativo A-B entre A y B es el conjunto de todos los elementos que pertenecen a A y no pertenecen a B.

DIFERENCIA SIMETRICA sean A B es el conjunto conformado por los elementos de A y de B que no son comunes.

PROPIEDADES ENTRE CONJUNTOS DE ACUERDO A LA UNION Y LA INTERSECCION

PROPIEDADES

UNION

INTERSECCION

1.- Idempotencia

AA=A

AA=A

2.- Conmutativa

AB=BA

AB=BA

3.- Asociativa

A(BC)=(AB)C

A(BC) =(AB)C

4.- Absorcin

A(AB)=A

A(AB)=A

5.- Distributiva

A(BC) =(AB)(AC)

A(BC) =(AB)(AC)

6.- Complementariedad

A A' = U

A A' =

EJEMPLOS DE APLICACIN DE PROPOSICIONES COMPUESTAS CONJUNCION

p SITUACIONES V Los tigres son animales salvajes y necesitan estar en la selva. V Los tigres son animales salvajes, no necesitan estar en la selva F Los tigres no son animales salvajes, pero viven en la selva. F Los tigres no son animales salvajes ni necesitan estar en la selva.

q V

P^q V

CONJUNCION p SITUACIONES V Mam hace la sopa y lava la loza todas las semanas. V Mam hace la sopa pero no puede lavar la loza todas las semanas. F Mam no pudo hacer la sopa pero lav la loza todas las semanas. F Mam no hizo la spa y tampoco lav la loza todas las semanas F F V F F F V V q P^q

CONJUNCION

p SITUACIONES

P^Q

V Carlos trabaja sin embargo estudia V Carlos trabaja y estudia sin embargo no pasea. F Carlos trabaja pero no estudia sin embargo pasea. F Carlos trabaja pero no estudia ni pasea.

DISYUNCION IMPLICACION

SITUACIONES Cuatro es un nmero par o el tres es impar Cuatro es un nmero par o el tres no es impar Cuatro no es un nmero par o el tres es impar Cuatro no es nmero par o el tres no es impar

p V V F F

q V F V F

pvq V V V F

DISYUNCION IMPLICACION p SITUACIONES Juan pudo sacar 10 en su examen o lav el coche todos los das. Juan pudo sacar 10 en su examen, o no pudo lavar el coche todos los das. Juan no pudo sacar 10 en su examen, o lav el coche todos los das. Juan no pudo sacar 10 en su examen o tampoco lav el coche todos los das. V V F F V F V F V V V F q Pvq

DISYUNCION IMPLICACION

SITUACIONES

Pvq

Los alumnos aprueban la materia si ganan tres parciales o si asisten a clases el 80%. Los alumnos aprueban la materia si ganan tres parciales o si asisten a clases el 80%. Los alumnos aprueban la materia si ganan tres parciales o si asisten a clases el 80%. Los alumnos aprueban la materia si ganan tres parciales o si asisten a clases el 80%.

BICONDICIONAL SITUACIONES Tomar taxi si y solo si llueve. Tomar taxi si y solo si no llueve No tomar taxi si y solo si llueve No tomar taxi si y solo si no llueve P V V F F Q V F V F PQ V F F V

BICONDICIONAL SITUACIONES Apruebo un parcial si y solo si la nota es mayor que 4 Apruebo un parcial si y solo si la nota no es mayor que 4 No apruebo un parcial si y solo si la nota es mayor que 4 No apruebo un parcial si y solo si la nota no es mayor que 4 P V V V V Q V F V F PQ V F F V

BICONDICIONAL SITUACIONES Voy a casa si y solo si viene mi madre. Voy a casa si y solo si no viene mi madre. No voy a casa si y solo si viene mi madre. No voy a casa si y solo si no viene mi madre. P V V V V Q V F V F PQ V F F V

GUA DE TRABAJO N1: LOGICA Y CONJUNTOS I. REPRESENTA MEDIANTE UN DIAGRAMA DE VENN LAS SIGUIENTES OPERACIONES:

a)

b)

c)

d)

II.

INDICA LA OPERACIN REPRESENTADA EN CADA DIAGRAMA DE VENN

a) En el anterior diagrama se representa la operacin

(AC)-B

b) En el anterior diagrama de Venn est representada la operacin

(AB)U(AC)U(BC)

c) En el anterior diagrama de Venn est representada la operacin

Bc

d) En el anterior diagrama de Venn se representa al operacin

(AUBUC)c

III.

RESUELVE LOS SIGUIENTES PROBLEMAS MEDIANTE UN DIAGRAMA DE VENN

REPRESNTALOS

a) En la tabla se presenta el resultado de una encuesta a 10 personas sobre sus aficiones preferidas AFICIN CANTAR (C) Juan Carlos Paola Gabriel Oscar L= LEER ESCRIBIR (E) Yolanda Alejandra Oscar Beatriz Juan C= CANTAR E=CESCRIBIR

LEER (L) Helena Alejandra Mara Gabriel Oscar

De acuerdo con esta informacin responda: 1. La persona que tiene las tres aficiones es: OSCAR 2. Las personas que solamente prefieren leer son: HELENA Y MARIA 3. La persona que prefiere cantar y escribir pero no leer es: JUAN 4. Las personas que tienen solamente dos aficiones son: ALEJANDRA, JUAN Y GABRIEL 5. Las personas que solamente les gusta cantar son: CARLOS Y PAOLA

b) LA SIGUIENTE LISTA MUESTRA LAS PREFERENCIAS DE 102 PERSONAS QUE ASISTEN A UNA REUNIN PARA CATAR VINOS. 99 prefieren Spaada 96 prefieren Ripple 99 prefieren vino de manzana Boones 95 prefieren Spaada y Ripple 94 prefieren Ripple y Boones 96 prefieren Spaada y Boones 93 prefieren los tres vinos

1. REPRESENTA LA SITUACIN MEDIANTE UN DIAGRAMA DE VENN A= los que prefieren Spaada B= los que prefieren Ripple C= Los que prefieren Boones

2. A cuntas personas les gusta los tres vinos? A 93 personas 3. A cuntas les gusta Spaada pero no Ripple? A 1 + 3 = 4 personas. 4. A cuntas les gusta cualquiera excepto el vino de Manzana Boones? A 2 + 1 = 3 personas 5. A cuntas les gusta slo Ripple? A ninguno = 0 6. A cuntas les gusta exactamente dos tipos de vinos? A 2 + 3 + 1 = 6 personas.