Este documento presenta una guía de prácticas para la asignatura de Matemática. Introduce conceptos básicos de lógica como enunciados, proposiciones, conectivos lógicos y tablas de verdad. Explica las diferentes clases de proposiciones como simples, compuestas y moleculares. También define los principales conectivos lógicos como negación, conjunción, disyunción, implicación y bicondicional junto con sus símbolos y tablas de verdad correspondientes. Finalmente, presenta la
Copyright:
Attribution Non-Commercial (BY-NC)
Formatos disponibles
Descargue como PDF, TXT o lea en línea desde Scribd
0 calificaciones0% encontró este documento útil (0 votos)
143 vistas7 páginas
Este documento presenta una guía de prácticas para la asignatura de Matemática. Introduce conceptos básicos de lógica como enunciados, proposiciones, conectivos lógicos y tablas de verdad. Explica las diferentes clases de proposiciones como simples, compuestas y moleculares. También define los principales conectivos lógicos como negación, conjunción, disyunción, implicación y bicondicional junto con sus símbolos y tablas de verdad correspondientes. Finalmente, presenta la
Este documento presenta una guía de prácticas para la asignatura de Matemática. Introduce conceptos básicos de lógica como enunciados, proposiciones, conectivos lógicos y tablas de verdad. Explica las diferentes clases de proposiciones como simples, compuestas y moleculares. También define los principales conectivos lógicos como negación, conjunción, disyunción, implicación y bicondicional junto con sus símbolos y tablas de verdad correspondientes. Finalmente, presenta la
Copyright:
Attribution Non-Commercial (BY-NC)
Formatos disponibles
Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
0 calificaciones0% encontró este documento útil (0 votos)
Este documento presenta una guía de prácticas para la asignatura de Matemática. Introduce conceptos básicos de lógica como enunciados, proposiciones, conectivos lógicos y tablas de verdad. Explica las diferentes clases de proposiciones como simples, compuestas y moleculares. También define los principales conectivos lógicos como negación, conjunción, disyunción, implicación y bicondicional junto con sus símbolos y tablas de verdad correspondientes. Finalmente, presenta la
Copyright:
Attribution Non-Commercial (BY-NC)
Formatos disponibles
Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
Está en la página 1de 7
1
UNIVERSIDAD INCA GARCILASO DE LA VEGA
Facultad de Comercio Exterior y Relaciones Internacionales
DEPARTAMENTO ACADEMICO DE MATEMATICA
GUIA DE PRCTICAS
Asignatura: MATEMTICA
AO LECTIVO 2011-II
Profesor: Paul A. Daz Flores ingmatdiaz@gmail.com
2 MATEMATICA
Profesor: Paul A. Daz Flores
LOGICA
1.1 INTRODUCCION.- Lgica es el estudio de los procesos vlidos del razonamiento humano. Siendo de vital importancia, en la Matemtica Moderna, el anlisis del lenguaje con un criterio l, incluimos en el presente captulo los elementos necesarios para que el estudiante se familiarice con dicha forma de expresin y con la simbologa requerida, con el fin de conducirlo a un hbil manejo del lenguaje matemtico y al empleo de mtodos eficaces de razonamiento.
1.2 ENUNCIADO.- Se denomina as a toda frase u oracin. Ejemplos: 1. 9 5 4 = + 2. 7 3 2 < x 3. Lima es la capital del Per. 4. Qu hora es?
1.3 PRPOSICION.- Es un enunciado que tiene la propiedad de ser verdadera ) (V o falsa ) (F , pero nunca ambas al mismo tiempo. Las proposiciones se denotan con letras minsculas tales como: , , , , , t s r q p a las que se les denomina variables proposicionales. En ocasiones, cuando son muchas proposiciones se emplean subndices para indicar a cada una de ellas, del modo siguiente: n p p p p ,, , , 3 2 1
Si una proposicin es verdadera se dice que su valor de verdad es igual a V , se escribe V p V = ) ( y se lee valor de verdad de p es V . Si una proposicin p es falsa se dice que su valor de verdad es F y se escribe F p V = ) ( y se lee valor de verdad de p es igual a F . Ejemplos: Proposicin Valor de verdad 1. p: Csar Vallejo naci en Italia F p V = ) ( 2. q: 5 12 3 2 < + ( ) V q V = 3. r: El nmero 1331 es divisible por 11 ( ) V r V = 4. s: Algunos hombres no son mortales ( ) V s F = Observacin: Los enunciados interrogativos, exclamativos o imperativos no son proposiciones tales como: Que hora tienes?, viva el Per!, prohibido fumar!, etc.
1.4 ENUNCIADOS ABIERTOS.- Son expresiones que contienen variables y no tienen la propiedad de ser verdadero o falso. Ejemplos.- 1. 7 < x 2. 9 = + y x 3. 16 = + + z y x Variable.- Es una cantidad susceptible de variar en un determinado campo o recorrido. A las variables los representaremos por letras minsculas tales como x, y, z, etc. las cuales reciben el nombre de variables indeterminadas. Ejemplos.- 1. x y = 5 es un nmero real, si x es un nmero real que sea menor o igual a 5. El campo o recorrido de x es 5 > x . 2. En la ecuacin 9 = + y x . El campo o recorrido de x e y es 3 3 s s x
3 1.5 CONECTIVOS LOGICOS.- Son expresiones que sirven para unir dos o mas proposiciones, entre los ms importantes tenemos: la conjuncin, disyuncin, implicacin, bicondicional, negacin, contradiccin los cuales mostramos en el cuadro siguiente:
NOMBRE EXPRESION SIMBOLO LOGICO Conjuncin y . Disyuncin v Implicacin Si, , entonces, Bicondicional, equivalencia o Doble implicacin si y solo si, Negacin No ~ Contradiccin no equivalente,
1.6 CLASES DE PROPOSICIONES LOGICAS.- Se tienen las siguientes:
a) PROPOSICIONES SIMLES O ATOMICAS.- Es una proposicin que no contiene ningn conectivo lgico.
Ejemplos.- 1) 6 es mltiplo de 3 2) 3 + 7 = 12
b) PROPOSICIONEES COMPUESTAS O MOLECULARES.- Es una proposicin que contiene al menos un conectivo lgicos. Ejemplos.- 1) Jorge es profesor y Juan es abogado 2) Si un tringulo es issceles, entonces sus ngulos en la base son congruentes.
1.7 PROPOSICIONES COMPUESTAS BASICAS.- La composicin de proposiciones consiste en, dadas una o dos proposiciones, obtener una nueva mediante el uso de las palabras denominadas conectivos lgicos: no, o, y, si , entonces y si y solo s, entre otras. El valor de verdad de una proposicin compuesta se determina por el valor de verdad de cada una de las proposiciones simples y el modo como estn unidas para formar las proposicin compuesta. He aqu algunas de las proposiciones compuestas:
a) LA NEGACION.- Dado una proposicin p, llamaremos la negacin de p, a otra proposicin que denotaremos por ~ p, que se lee no p, y que se le asigna el valor opuesto a p, y su tabla de verdad es:
p ~ p V F F V
El principio lgico de la negacin es: Si una proposicin es verdadera V, su negacin es falsa F y recprocamente, si dicha proposicin es falsa F su negacin es verdadera V. La proposicin ~ p se lee no p, no es cierto que p Ejemplos.- 1. 2 es primo (V). Su negacin es: 2 no es primo (F) 2. 7 es par (F). Su negacin es: no es cierto que 7 es par (V).
b) LA DISYUNCIN.- La disyuncin de dos proposiciones p y q es la proposicin compuesta que resulta de unir p y q por el conectivo lgico o en el sentido inclusivo y/o y que el principio lgico es La proposicin q p v es falsa nicamente en el caso que p y q son ambas falsas, en cualquier otro caso es verdadera. La tabla de verdad para la disyuncin es:
4 p q pvq V V F F V F V F V V V F
Ejemplos: 1) 2 + 7 = 9 v 6 5 = 1 V v F = V 2) 3 4 = 7 v 5 3 = 8 F v F = F
c) LA CONJUNCION.- La conjuncin de dos proposiciones p y q es la proposicin compuesta que resulta de unir p y q por el conectivo lgico y que se simboliza p .q donde el principio lgico es La proposicin p .q es verdadera nicamente en el caso que p y q son ambas verdaderas, en cualquier otro caso es falsa. La tabla de verdad para la disyuncin es:
p Q p .q V V F F V F V F V F F F
Ejemplos: 1) 4 + 8 = 12 . 23 13 = 10 V . V = V 2) 3 9 = 12 . 5 4 = 20 F . V = F
d) LA CONDICIONAL (IMPLICATIVA).- La implicacin de dos proposiciones p y q es la proposicin compuesta que resulta de unir p y q por el conectivo lgico si, , entonces que se simboliza pq, donde el principio lgico es La proposicin pq es falsa nicamente en el caso que la proposicin p es verdadera y la proposicin q es falsa, siendo verdadera en todos los dems casos. La tabla de verdad para la disyuncin es:
p Q pq V V F F V F V F V F V V
La proposicin p es llamado antecedente, premisa o hiptesis y la proposicin q es llamado consecuente, conclusin o tesis.
Ejemplos: 1) 15 + 18 = 33 12 13 = 25 V F = F 2) 15 12 = 3 7 3 = 21 F V = V
Nota: A toda implicacin se le asocian otras tres proposiciones implicativas que juegan un papel importante. Ellas son: La recproca, la inversa y la contrarrecproca, esto es dada la proposicin implicativa q p , se tiene:
Su recproca es p q Su inversa es: q p ~ ~ y Su contrarrecproca es: p q ~ ~ Ejemplos.- Escriba la recproca, la inversa y la contrarrecproca de cada uno de las siguientes proposiciones: 1. Si 5 5 = 0, entonces 5 = 5
5 2. Si a termina en cero, entonces a es mltiplo de 2 3. Si x = y, entonces x + y es par.
e) LA BICONDICIONAL (Equivalente o doble implicacin).- La doble implicacin de dos proposiciones p y q es la proposicin compuesta que resulta de unir p y q por el conectivo lgico si y solo si que se simboliza p q, que se lee p si y solo si q donde el principio lgico es La proposicin p q es verdadera en el caso que ambas p y q tienen el mismo valor (ambas verdaderas o ambas falsas) siendo falsas en cualquier otro caso. La tabla de verdad para el bicondicional es:
p Q p q V V F F V F V F V F F V Ejemplos: 1) 15 4 = 60 7 4 = 28 V V = V 2) 18 = 12 14 12 = 16 F F = V f) LA DISYUNCIN EXCLUSIVA.- La disyuncin exclusiva de dos proposiciones p y q es la proposicin compuesta que resulta de unir p y q por el conectivo lgico que se simboliza p Aq, que se lee o p o q donde el principio lgico es La proposicin p Aq es falsa en el caso que ambas p y q tienen el mismo valor (ambas verdaderas o ambas falsas) siendo falsas en cualquier otro caso. La tabla de verdad para la disyuncin es:
p Q p Aq V V F F V F V F F V V F
Ejemplos: 1) 15 7 = 12 A 18 6 = 3 F AV = V 2) 21 7 = 7 A 42 21 = 2 F A V = V
En sntesis se tiene:
p Q q p v q p . q p q p q pA V V V V V V F V F V F F F V F V V F V F V F F F F V V F
1.8 JERARQUIA DE LOS CONECTIVOS LOGICOS.- Los conectivos lgicos, as como se usan para unir proposiciones simples y formar proposiciones compuestas, tambin se usan para unir proposiciones compuestas y obtener esquemas lgicos ms complejos, en cuyo caso suele hacerse uso de los signos de coleccin (parntesis, corchetes y llaves) con el fin de dar mayor o menor jerarqua a los conectivos. En general, el ~ es el conectivo de menor jerarqua, le sigue el . y el v que tienen la misma jerarqua y luego que es el de mayor jerarqua. Si embargo, cada conectivo puede ser
6 el de mayor jerarqua, si as lo indica el signo de coleccin. A mayor encierro menor jerarqua y viceversa a menor encierro mayor jerarqua. As por ejemplo r q p v . , es una ambigedad, es necesario el uso de los signos de coleccin a fin de evitar dicha ambigedad tal como ) ( r q p v . . Nota.- Si se tiene n proposiciones simples y llamamos A al nmero de filas que resultan de todos los arreglos posibles de las V y las F de estas proposiciones, entonces n A 2 = . As, si se tienen las proposiciones p, q y r, los arreglos son 8 2 3 = ; es decir: Para p: 4V y 4F, para q: 2V y 2F y para r: 1V y 1F, intercaladas hasta completar las 8 filas
1.9 TAUTOLOGIAS, CONTRADICCIONES Y CONTINGENCIAS.-
a) TAUTOLOGIA.- Son proposiciones compuestas que siempre son verdaderas cualquiera que sea el valor de las proposiciones componentes. Es decir su tabla de verdad es: (VVVVVVV). b) CONTRADICCIONES.- Son proposiciones que siempre son falsas cualquiera que sea el valor de las proposiciones componentes. Su tabla de verdad es (FFFFFFFFFFFF) c) CONTINGENCIAS.- Son proposiciones que no son ni tautologa ni contradiccin, es decir, son proposiciones que en algunos casos es V y en otros es F. Su tabla es (VVFVVVVF).
1.10 IMPLICACION LOGICA Y EQUIVALENCIA LOGICA.- i) A toda proposicin condicional p q que es una tautologa se denomina implicacin lgica (o simplemente implicacin) y lo denotaremos por: pq. Ejemplo.- | | p q q p ~ ~ ) (~ . v , puesto que:
P Q | | q q p ~ ) (~ . v ~ p V V F F V F V F V F F F F F V F V V V V V V V V F F V V
Es una tautologa, Por lo tanto es una implicacin lgica. ii) A todo bicondicional p q que sea tautolgica se llama equivalencia lgica (o simplemente equivalencia) y lo denotaremos por: p q. Ejemplo de equivalencia lgica.- | | p q p p v . ) ( , puesto que:
P q | | ) ( q p p v . p V V F F V F V F V V V V F V F F V V V V V V F F
Es una tautologa. Por lo tanto es una equivalencia lgica. 1.11 PROPOSICIONES LOGICAMENTE EQUIVALENTES.- Dos proposiciones P y Q son lgicamente equivalentes si sus tablas de verdad son idnticas en este caso lo simbolizamos de la siguiente manera: P Q. Ejemplo.- (pq) y (~ q ~ p) son lgicamente equivalentes. En efecto:
P q pq ~ q~ p V V F F V F V F V F V V F V F V F F F V V V V V
7 1.12 PRINCIPALES LEYES LOGICAS O TAUTOLOGIAS.- 1. Los tres Principios Lgicos Clsicos: 1. Ley de Identidad. p p ; p p . Una proposicin solo es idntica as mismo 2. Ley de la no contradiccin. ) ~ ( ~ p p. . Una proposicin no puede ser verdadero y falso a la vez. 3. Ley de tercio excluido. p p ~ v . Una proposicin es verdadera o es falsa, no hay una tercera posibilidad. 2. Equivalencias notables.- 4. Ley de la doble negacin p p ) (~ ~ 5. Ley de la idempotencia a. p p p v b. p p p . 6. Leyes conmutativas. a. p q q p v v b. p q q p . . 7. Leyes asociativas a. ) ( ) ( r q p r q p v v v v b. ) ( ) ( r q p r q p v v v v 8. Leyes distributivas a. ) ( ) ( ) ( r p q p r q p . . v . v b. ) ( ) ( ) ( r p q p r q p . v . v . 9. Leyes de De Morgan a. q p q p ~ ~ ) ( ~ . v b. q p q p ~ ~ ) ( ~ v . 10. Leyes de condicional a. q p q p v ~ b. p q q p ~ ~ 11. Leyes del bicondicional a. ) ( ) ( p q q p q p . b. | | q p q p q p ~ ~ ) ( . v . . 11. Leyes de absorcin a. p q p p v . ) ( b. p q p p . v ) ( 12. Elementos neutros para la disyuncin y conjuncin p F p v p V p . 13. Leyes adicionales: a) V p p v~ b) F p p .~ c) F V ~ d) V F ~