P. 1
1-logica-T

1-logica-T

|Views: 664|Likes:

More info:

Published by: Luis Rodriguez Gonzales on Jul 13, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

07/19/2013

pdf

text

original

Matemática 1

UNIDAD 1: LÓGICA SESIÓN 01: LÓGICA PROPOSICIONAL

LÓGICA
La Lengua Española define a la lógica como la disciplina que estudia los principios formales del conocimiento humano, es decir, las formas y las leyes más generales del pensamiento humano considerado puramente en sí mismo, sin referencia a los objetos. Los problemas principales de la lógica son las doctrinas del concepto, del juicio, del silogismo y del método. Es la ciencia de las proposiciones y las demostraciones que se basan en un razonamiento para llegar a una conclusión, ya sea verdadera o falsa LÓGICA FORMAL Es la ciencia que estudia el pensamiento teniendo en cuenta sólo su estructura. Se divide en lógica proposicional y lógica de predicados. Nosotros estudiaremos sólo la lógica proposicional. LÓGICA PROPOSCIONAL Es aquella que considera a las proposiciones como base para la determinación de la validez. La lógica proposicional es llamado también Álgebra Booleana o Álgebra proposiconal PROPOSICIÓN Es una expresión lingüística (simbólica o conjunto de palabras) con Sentido Completo, que se pueda demostrar su Verdad o Falsedad. Una proposición lógica es enunciada mediante oraciones aseverativas que pone de manifiesto la función informativa del lenguaje. Esto trae como consecuencia las siguientes consideraciones: 1. No son proposiciones lógicas - Las creencias, mitos o leyendas. - Las metáforas o refranes. - Las supersticiones. - Los hechos de la literatura o personajes ficticios - Hechos discutibles: La Moral, los valores, la belleza, etc. - Enunciados abiertos o indefinidos: α + β + γ = 180°. - Las oraciones: Exclamativas (admiración, sorpresa) Dubitativas (dudas) Desiderativas (deseos) Interrogativas (preguntas) Imperativas (órdenes, súplicas, prohibiciones) 2. Son proposiciones lógicas - Las fórmulas científicas ya demostradas. - Las leyes o hipótesis científicas aceptadas. - Enunciados cerrados o definidos: α + β + γ = 180°, si α , β , γ = ángulos de un mismo triángulo. - Las Oraciones: • Informativas (información) • Descriptivas (característica de algún sujeto) • Explicativas (causa – efecto)

1

... tiempo..... ” El condicional: “Si . “ → ”....... “ / ” Explicitaciones verbales de los conectores lógicos 2 .. Predicativas Cuando se le atribuye alguna cualidad al sujeto (utiliza el verbo SER en cualquiera de sus tiempos).......... etc.. y pueden ser: A.. ni .Carlos Marx fue el creador del Materialismo Dialéctico..... B.... o no .... Relación de acción......... “ ↓ ”. entonces . 2... Relacionales Cuando se compara un sujeto con otro mediante una relación que puede ser de orden....... acción....Gregorio Mendel es el padre de la Genética... “ ∨ ”.... Ejemplos: ..... Son aquellos que se enlazan a una proposición simple...... no . Proposiciones Compuestas o Moleculares (Coligativas) se caracterizan principalmente porque poseen conectores lógicos... ” El disyuntor: “ ... espacio... y ...” El inalterador: “ ni .Matemática 1 CLASES DE PROPOSICIONES 1.......... “ ↔ ”..” El bicondicional: “... Son aquellos que enlazan a 2 proposiciones simples.... “ El Incompatibilizador: “ no .... ... “ ← ”... CONECTORES LÓGICOS Son aquellos que sirven para formar proposiciones más complejas (compuestas o moleculares). Ejemplo: ¬ b) Conectores Binarios (Diáticos).. Proposiciones Simples o Atómicas Carecen de conector lógico............ si y sólo si ....... Principales Conectores Lógicos El negador: “ ........ Ejemplo: “ ∧ ”.....” El conjuntor: “ ....... “ ∨ ” ... o ...... ..... parentesco... Ejemplo: La selección Nacional jugó un partido intenso con su similar de Brasil...” Los conectores se clasifican en dos grupos: a) Conectores Monarios (Monádicos )....

B A o bien necesariamente B A o exclusivamente B A no es equivalente a B A no es idéntico a B A no es lo mismo que B El Conjuntor: A ∧ B                       AyB A aunque B A pero B A sin embargo B A incluso B A es compatible con B A así como B A del mismo modo B A aún cuando B A también B A de la misma forma que B A al igual que B Tanto A como B Siempre ambos A con B A no obstante B No sólo A sino también B A así mismo B A al igual que B A a pesar de B A a la vez B A más B A con B los dos a la vez. deducimos.Matemática 1 El Negador : . jamás (A) (*) Es Incompatible que A Es inconcebible que A No ocurre que A No es verdad que A No es el caso que A No acaece que A Es mentira que A Es inadmisible que A De ninguna forma se da A En forma alguna A Carece de todo sentido A De ningún modo A En modo alguno A Es incorrecto que A Es incierto que A Nadie que sea A Es objetable que A Es absurdo que A Es falso que A Es refutable que A Es falaz que A Es refutable que A (*) Negador interno. El Implicador : A → B                         Si A entonces B Siempre que A por consiguiente B Ya que A bien se ve que B Dado que A por eso B En cuanto A por tanto B Porque A por eso B Como A es evidente B Con tal que A es obvio que B Toda vez que A en consecuencia B A consiguientemente B Dado que A por lo cual B En la medida que A de allí B En virtud de que A entonces B A implica a B A es innecesario para B A es condición suficiente para B A sólo si B A luego B A trae como consecuencia a B De A deviene B Partiendo de A llegamos a B De A inferimos. B  A salvo que B  A excepto que B  A o también B  A o bien B  A a no ser que B  A o incluso B  A y bien o también B  Al menos uno de los dos A ó B  A o sino B  A alternativamente B  A y/o B  El Disyuntor excluyente: A v B            A o B (sentido excluyente) O bien A o bien B A a menos que solamente B A salvo que únicamente B A excepto que sólo B Amenos que sólo A. nunca A.  Amenos que A. coligamos B Para A es condición necesaria B A sólo cuando B 3 .A o ¬ A                        No A.

B  Porque y solamente por que A. B A si B A porque B A dado que B A ya que B A siempre que B A puesto que B A es condición necesaria para B A es insuficiente para B Es necesario A para B Es insuficiente A para B A cada vez que B A está implicado por B A con la condición de que B Si solamente A cada vez que B A debido a que B A depende de B A sigue de B Únicamente si A.Matemática 1 El Disyuntor Incluyente: A ∨ B  A o B (sentido incluyente)  A a menos que B El Replicador : A ← B                      Sólo si A. r. El pensamiento es imperceptible por nuestros sentidos. desarrollando la lógica formal. . La formalización consiste en representar simbólicamente la relación que existe entre las diferentes formas del pensamiento mediante el uso de variables y constantes.). q. Es Aristóteles quien por primera vez hace uso de ciertas abreviaturas para facilitar su labor al proponer la Teoría del Silogismo. hecho que permitió se le considerara como "El padre de la Lógica Formal Antigua”. Símbolos usados en la formalización 1. las mismas que fueron descubiertas más adelante por Gotlob Frege. Ejemplo: César es profesor de Raz. debido a la ambigüedad que a veces sufre nuestro lenguaje.. Lógico: p Cristóbal Colón descubrió América: q 4 .. Variables proposicionales Letras minúsculas que representan a una proposición simple (p. B Solo cuando A. B Solamente porque A. para ello es necesario crear un Lenguaje Simbólico Artificial (formalización) el mismo que represente perfectamente el enunciado en cuestión (traducción). B   Es suficiente A y B necesario En el caso que A en tal sentido B El Biimplicador: A ↔ B  A si y sólo si B  A por lo cual y según lo cual B  A cuando y sólo cuando B  A cada vez que y sólo si B  Si y sólo si A. de allí la dificultad de estudiarlos. B  Es suficiente A para que suficientemente B  Es necesario A para que necesariamente B  A es condición suficiente y necesaria para B  A siempre que y sólo cuando B  Siempre que A y siempre que B  A es equivalente a B  A es lo mismo que B  A es idéntico a B  A implica y está implicado por B El Inalternador: A ↓ B   Ni A ni B No A y no B El Incompatibilizador: A/B No A o no B FORMALIZACION DE PROPOSICIONES El análisis del pensamiento formuladas en castellano o en cualquier otra lengua natural son difíciles de evaluar.

Nota: Cabe aclarar que cada parte de la lógica formal trabaja con sus propios operadores lógicos..) Ejemplo: A → B ≡ – A v B. Variables Metalingüísticas Letras mayúsculas que son usadas en la representación de fórmulas u operaciones lógicas (A... B. El operador lógico es: (→) Las proposiciones son: p = los cuerpos se calientan.. { }. ... Constantes u operadores lógicos Símbolos que representan y detallan la relación que hay entre las proposiciones. por ejemplo: “si los cuerpos se calientan entonces dichos cuerpos se dilatan”..... (¬) Una fórmula proposicional adopta el nombre del conector de mayor jerarquía.. C. TABLAS DE VERDAD DE LOS CONECTIVOS LÓGICOS A continuación se presenta el cuadro resumen de las tablas de verdad de los conectores lógicos.... Jerarquía de los conectores lógicos (↔) (v) (→)(←) (v) operadores (∧ ) de la lógica proposicional.. fórmula bicondicional Nota: La jerarquía de conectores pierden fuerza cuando aparecen los signos auxiliares de agrupación: ( ).. p q ¬p p∧ p∨ p→ p↔q p∨ q q q q V V F V V F V V V F F F V V F F F V V F V V V F F F V F F F V V Nota: 5 . Su estructura lógica es: si . así por ejemplo... [ ]..r . fórmula condicional . Ejemplo: ..... q = los cuerpos se dilatan La relación entre las proposiciones: causa – efecto. (A v A) ↔ A 3.. entonces . Su formalización correcta: p → q.. regulan la construcción de una fórmula lógica.....p → q ∧r ↔ -s .Matemática 1 2. 4..p ∧q → . la Lógica Proposicional emplea los “Conectores Lógicos”.

e) Sólo la humildad te hará más grande de lo que eres.2. Construir la tabla de verdad de las a) b) c) d) e) f) g) h) i) j) k) l) siguientes proposiciones lógicas –p ∧q (– p ∧ q ) ∨ –q (– p ∧ r) ∨ (– q ∧ – p ) (p → q) ∨ r (– q → – p) → –q (– p → – q) → p ∧ q [(r ∨ p ) ↔ – q] ↔ p (p ∨ –q ) ↔ (– p ∨ –q) [– (p ↔ q ) ∧ r] → p Ambos triunfarán si Pedro trabaja y Rosa estudia Siempre que llueve hay nueves y hace calor Ni Ana. b) Este año espero ingresar a la Universidad. 2 y 3 b) 2. 7.Matemática 1 1. La lógica estudia 1) Las leyes lógicas 2) Las proposiciones 3) El pensamiento humano 4) Las tablas de verdad 5) Los conectores lógicos 2. ni Berta. j) Isaac Newton nunca existió. • Todos falsos se llama CONTRADICCIÓN • No todos son verdaderos se llama CONTINGENCIA d) Mi mejor consejo es estar siempre atento. c) A Dios rogando y con el mazo dando. f) Todos los caminos conducen a Roma g) El amor es el más sublime sentimiento h) Aristóteles fue un filósofo de la antigüedad i) Jesús fue el primogénito de Dios. Es una proposición falsa 1) Una colmena de abejas está compuesta por zánganos 2) El agua y el kerosene no se mezclan 3) Los reptiles son de sangre fría 4) Un transgénico es un Organismo Modificado Genéticamente (OMG) 5) El inca era la máxima autoridad en el imperio incaico 5. engorda e) O es tarde o está muy oscuro f) Hoy es jueves g) No ocurre que todos los números son positivos a) b) c) EJERCICIOS NIVEL I: 1. Identifique cuales de las siguientes oraciones son proposiciones a) Algún día los extraterrestres invadirán nuestro planeta. donde n es el número de proposiciones. pero no hice compra alguna d) Comer mucho. Se formaliza: a) A ← B b) A → B c) A ↔ B d) A ∧B e) A ∨B 6 . La proposición: “Es necesario conocer las fórmulas básicas de Trigonometría para que se pueda entender el curso de Física”. El número de valores de verdad de una fórmula lógica se encuentra calculando 2 n. Son proposiciones 1) (a – b)2 = a2 + b2 – 2ab 2) 2 +3 = 15 3) La lógica es una ciencia fáctica α + β + θ = 18º 4) 5) La suma de los ángulos interiores de un triángulo cualquiera es 180º a) 1. Si los valores de verdad de la matriz principal son • Todos verdaderos se llama TAUTOLOGÍA. 4 y 5 e) Todas 4. son universitarias. por tanto son solo estudiantes Nivel 2 8. 2. Clasifica las siguientes proposiciones Los cantantes no duermen.3y 5 d) 1. 3 y 5 c) 1. 6. El objeto de estudio de la lógica formal es: 1) La verdad objetiva 2) La validez del concepto 3) La validez del juicio 4) La validez del razonamiento 5) Determinar mediante reglas y leyes la validez del razonamiento Son ciertas solamente a) 1 y 2 b) 2 y 3 c) 3 y 4 d) 4 y 5 e) Todas 3. El baile es saludable Fui a la feria.

Formalizar: “Estar tranquilo es condición necesaria para rendir un buen examen. Dado el siguiente esquema p 1 1 0 q 1 0 1 (-p 0 0 1 * -q) 0 1 0 ↔ 1 1 0 -p 0 0 1 0 0 1 1 1 1 ¿Qué conector debe de ser (*) para satisfacer las condiciones de la gráfica? a) ∧ b) ∨ c) → ∨ d) e) ↔ 16. Si las proposiciones –[ ( p v –q ) ∧–p ] v ( r ↔ s ) y ( r → s ) Son equivalentes a F.a. Se formaliza como : a) (A ∨B) → C b) (A ∧B ∧C ∧ → E D) c) A → B d) A ← B e) (A ∨B ∨C ∨D) → E Nivel 3 15. Pero saber es condición suficiente para ingresar”. Se formaliza.Matemática 1 9. eléctrica. 14.A. La proposición: “Los volcanes durmientes son pasivos a menos que con el tiempo se activen”. halle los valores de verdad de “p”. Se formaliza como: a) A v B b) A v B c) A v (B→C) d) A∧ v B) (A e) N. 18. La proposición : “Si la energía radiante se convierte en energía térmica. Si –p v[ ( p ∧ r ) → (r ↔ q) ] es falso. Se formaliza a) A ∨B b) A ⊕ -B c) A ≡ B d) A ∨B e) (A → B) ∨C 10. 13. excepto que sea visible a simple vista”. Se define las proposiciones: p # q ≡ – p ∧q p θ q ≡ p v –q Además la proposición – [ (p # q) → (q θ r)] 7 . Sabiendo que la proposición “p” es verdadera. La proposición: “Es absurdo que los vegetales no son verdes pero los frutos son producto de las plantas”. q(x): x – 4 = 8. entonces determine el valor de –( p ∨ p) v – ( q ↔ q ) y [ (p v q) ∧–(p → q ) ] ↔ ( –r ∧s ) a) VV d) FV b) FF c) VF e) No se puede determinar 20. La proposición: “El cálculo mental es una disciplina intelectual salvo que solamente sea memoria retentiva”. 11. a) (A → B) ∧(C ← D) b) (A ↔ B) ∧(C ↔ D) c) (A ∧B) ∧(C ∧D) d) (A ← B) ∧(C → D) e) N. La proposición: “La célula es microscópica. Se formaliza como: a) A v B b) A ∧B c) A v B d) ∼ A v B e) A v ∼ B 12. “q” y “r”. Si p(x): x2 = 16. sus ondas de propagación han sido interceptadas por la materia”. Si “s” es verdadera y la proposición [ ( p → q ) ↔ ( – q ∧ s ) ] v ( r ∧ s ) es falso.A. a) ∼ A∧ B b) ∼ (∼ A∧ B) c) (∼ A v ∼ B) d) ∼ A∧ (BvB) e) T. mecánica o química. ¿en cuál de los siguientes casos es suficiente dicha información para determinar el valor de verdad de las siguientes proposiciones? 1) ( p v q ) → (–p ∧–q ) 2) ( q → p ) v –r 3) ( p ∧–q ) → r 4) ( p v q ) ∧(r v –p) 17. halle el valor de verdad de : [ ( p → q ) v r ] ↔ ( p ∧r ) a) V d) V y F b) F c) VoF e) No se puede determinar 19. r(x): x2 – 4 > 5 Hale el valor de verdad de: a) { [p(1) ∧ p(3)] ↔ [ r(2) v p(3)] } → q(4) b) [p(2) ∧ –q(12) ] ↔ r(4) c) –p(4) → [r(5) v – q(4) ] A) FFF D) VVF B) VVV E) FFV C) VFV 21.

Matemática 1 Es verdadera. Halle los valores de verdad de “p”. “q” y “r” a) VFV d) VVF b) VVV e)FFV c) FFF 8 .

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->