Logica

Solo disponible en BuenasTareas
  • Páginas : 13 (3019 palabras )
  • Descarga(s) : 0
  • Publicado : 22 de enero de 2012
Leer documento completo
Vista previa del texto
´ INDICE

´ ´ 1. NOCIONES ELEMENTALES DE LOGICA MATEMATICA ´ 1.1. LOGICA PROPOSICIONAL . . . . . . . . . . . . . . . . . . . 1.1.1. Proposiciones . . . . . . . . . . . . . . . . . . . . . . . 1.1.2. Conectivos . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.3. Tablas de Verdad . . . . . . . . . . . . . . . . . . . . . 1.1.4. Tautolog´ Contradicci´n, Contingencia . . . . . . . . ıa, o ´1.2. LOGICA FUNCIONAL . . . . . . . . . . . . . . . . . . . . . . 1.2.1. Cuantificadores . . . . . . . . . . . . . . . . . . . . . . 1.2.2. Leyes de la Cuantificaci´n . . . . . . . . . . . . . . . . o 1.3. EJERCICIOS PROPUESTOS . . . . . . . . . . . . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

1 . 1 . 1 . 2 . 2 . 5 . 8 . 8. 9 . 10

CAP´ ITULO 1 ´ NOCIONES ELEMENTALES DE LOGICA ´ MATEMATICA

Estudiaremos brevemente un lenguaje no contradictorio ni ambivalente que nos permitir´ introducirnos a la Matem´tica: la L´gica Matem´tica, que estudia las leyes que a a o a regulan el razonamiento. Por fines did´cticos la dividimos en a a) l´gica proposicional, o o b) l´gica funcional.

1.1.

´ LOGICA PROPOSICIONALEn la l´gica proposicional consideraremos dos elementos b´sicos: Proposiciones, Coo a nectivos. 1.1.1. Proposiciones

Son “frases” sobre las cuales podemos decidir, un´ ıvocamente, sobre la verdad (V ) o falsedad (F ) de ellas. As´ entonces, una proposici´n es una frase que es V o F , no existiendo la posibilidad ı o de obtener ambas decisiones conjuntamente (Principio del tercero excluido). Lasproposiciones las denotamos por letras min´sculas p, q, r, etc., que resumir´n, en u a si mismo, el significado particular que tengan al interior de una situaci´n concreta. o Ejemplo 1.1.1. 1. “p” resumir´, al interior de ´ste ejemplo, a la proposici´n: “Hoy es Martes 10 de a e o Mayo“, y denotamos p: “Hoy es Martes 10 de Mayo”. 1

2

UNIVERSIDAD DE SANTIAGO DE CHILE, FACULTAD DE CIENCIA

2.Las siguientes “frases” son proposiciones: q : x + 4 = 9 y x = 5 (es V ) r : Si x es un n´mero real, entonces su cuadrado es no negativo (es V ). u

Observaci´n 1.1.1. No son proposiciones los interrogativos y los imperativos. o 1.1.2. Conectivos

S´ ımbolos que, junto con las proposiciones b´sicas, nos permiten crear nuevas proposia ciones, son: ∼: se lee “no”, ∧: se lee “y”, ∨: se lee “y/o”, ⇒: se lee “. . . implica . . .” ´ “si, . . . entonces, . . .”, o ⇔: se lee “. . . equivalente con . . .”. Observaci´n 1.1.2. El conectivo “∼” se usa antes de una proposici´n, y los restantes o o conectivos se usan entre dos proposiciones. e Ejemplo 1.1.2. Si p, q, r son proposiciones, entonces tambi´n son proposiciones: 1. ∼ p 2. p ∧ q 3. p ∨ q 4. p ⇒ q 5. p ⇔ q 6. p ∧ (q ∨ r) 7. [(∼ p) ∧ (q ∨r)] ⇒ q 1.1.3. Tablas de Verdad

Las proposiciones compuestas, es decir, aquellas que contienen al menos un conectivo, tienen, naturalmente, un valor veritativo, y para las proposiciones compuestas b´sicas ese a valor veritativo lo damos en las siguientes “tablas de verdad”.

´ HERALDO GONZALEZ SERRANO

3

Tabla de Verdad de la Negaci´n (∼) o Dada la proposici´n b´sica “p” , existe lanegaci´n de ella, denotada ∼ p, que se lee o a o “no p”, proposici´n que tiene la siguiente tabla de verdad. o p V F ∼p F V

Observaci´n 1.1.3. Es claro que el valor veritativo de ∼ p es el contrario de p. Por ejemplo, o si “p” es p: “Hoy llueve” es verdadero entonces ∼ p es ∼ p: “Hoy no llueve” es falso. Tabla de Verdad de la Conjunci´n (∧) o Dadas las proposiciones “p”, “q”, existe la conjunci´n deellas, denotada p ∧ q, que se o lee “p y q”, proposici´n tal que su tabla de verdad es o p V V F F q V F V F p∧q V F F F

Observaci´n 1.1.4. La conjunci´n es verdadera s´lo si las proposiciones que la componen o o o lo son.

Tabla de Verdad de la Disyunci´n (∨) o Dadas las proposiciones “p”, “q” existe la disyunci´n de ellas, denotada p ∨ q que se o lee “p o q”, proposici´n tal que su...
tracking img