Академический Документы
Профессиональный Документы
Культура Документы
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.
VALOR DE VERDAD
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: 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.
SI Y SOLO SI
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.
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
Si
^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
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
Es toda proposicin cuyo valor de verdad de la conectiva principal es siempre verdadero ( V) es decir su valoracion final es verdadera.
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).
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 ^ (p v q)] [p ^ (p v q]
q q (q v s)
CONTRADICCION
(p c)
NOMBRE
FORMULA
(p ^ p) (p v p) (p ^ q) (p v q)
v RESPECTO DE ^
LEYES DE DE MORGAN
LEYES DE DOMINACION
LEYES DE IDENTIDAD
DOBLE NEGACION
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]
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
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' =
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.
(AC)-B
(AB)U(AC)U(BC)
Bc
(AUBUC)c
III.
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
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.