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

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

deducimos.  Amenos que A. 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. 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. 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.Matemática 1 El Negador : . 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. nunca A.A o ¬ A                        No A. coligamos B Para A es condición necesaria B A sólo cuando B 3 .

. B Solamente porque A.. 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. 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. Símbolos usados en la formalización 1.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. q. Variables proposicionales Letras minúsculas que representan a una proposición simple (p.. para ello es necesario crear un Lenguaje Simbólico Artificial (formalización) el mismo que represente perfectamente el enunciado en cuestión (traducción). r. hecho que permitió se le considerara como "El padre de la Lógica Formal Antigua”. desarrollando la lógica formal. Es Aristóteles quien por primera vez hace uso de ciertas abreviaturas para facilitar su labor al proponer la Teoría del Silogismo. El pensamiento es imperceptible por nuestros sentidos. 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. Ejemplo: César es profesor de Raz. B Solo cuando 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.). B  Porque y solamente por que A. debido a la ambigüedad que a veces sufre nuestro lenguaje. Lógico: p Cristóbal Colón descubrió América: q 4 . las mismas que fueron descubiertas más adelante por Gotlob Frege. de allí la dificultad de estudiarlos.

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

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. • Todos falsos se llama CONTRADICCIÓN • No todos son verdaderos se llama CONTINGENCIA d) Mi mejor consejo es estar siempre atento. 6.3y 5 d) 1. por tanto son solo estudiantes Nivel 2 8. 2. 2 y 3 b) 2. El baile es saludable Fui a la feria. b) Este año espero ingresar a la Universidad. son universitarias. La proposición: “Es necesario conocer las fórmulas básicas de Trigonometría para que se pueda entender el curso de Física”. 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.2. e) Sólo la humildad te hará más grande de lo que eres. Clasifica las siguientes proposiciones Los cantantes no duermen. 7. ni Berta.Matemática 1 1. 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. 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. 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. El número de valores de verdad de una fórmula lógica se encuentra calculando 2 n. Se formaliza: a) A ← B b) A → B c) A ↔ B d) A ∧B e) A ∨B 6 . 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. donde n es el número de proposiciones. pero no hice compra alguna d) Comer mucho. c) A Dios rogando y con el mazo dando. j) Isaac Newton nunca existió. 4 y 5 e) Todas 4. Si los valores de verdad de la matriz principal son • Todos verdaderos se llama TAUTOLOGÍA. 3 y 5 c) 1. Identifique cuales de las siguientes oraciones son proposiciones a) Algún día los extraterrestres invadirán nuestro planeta. 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.

a. q(x): x – 4 = 8. La proposición : “Si la energía radiante se convierte en energía térmica. 18. 13. “q” y “r”. Se formaliza a) A ∨B b) A ⊕ -B c) A ≡ B d) A ∨B e) (A → B) ∨C 10. La proposición: “Los volcanes durmientes son pasivos a menos que con el tiempo se activen”. 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. excepto que sea visible a simple vista”. a) (A → B) ∧(C ← D) b) (A ↔ B) ∧(C ↔ D) c) (A ∧B) ∧(C ∧D) d) (A ← B) ∧(C → D) e) N. Se formaliza. Sabiendo que la proposición “p” es verdadera.A. Se formaliza como: a) A v B b) A ∧B c) A v B d) ∼ A v B e) A v ∼ B 12. sus ondas de propagación han sido interceptadas por la materia”. La proposición: “El cálculo mental es una disciplina intelectual salvo que solamente sea memoria retentiva”. Si las proposiciones –[ ( p v –q ) ∧–p ] v ( r ↔ s ) y ( r → s ) Son equivalentes a F. ¿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. Si “s” es verdadera y la proposición [ ( p → q ) ↔ ( – q ∧ s ) ] v ( r ∧ s ) es falso. a) ∼ A∧ B b) ∼ (∼ A∧ B) c) (∼ A v ∼ B) d) ∼ A∧ (BvB) e) T. La proposición: “La célula es microscópica.A. 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. La proposición: “Es absurdo que los vegetales no son verdes pero los frutos son producto de las plantas”. Se formaliza como: a) A v B b) A v B c) A v (B→C) d) A∧ v B) (A e) N. 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. 11. 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 9. Si p(x): x2 = 16. 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. Si –p v[ ( p ∧ r ) → (r ↔ q) ] es falso. eléctrica. 14. halle los valores de verdad de “p”. Se define las proposiciones: p # q ≡ – p ∧q p θ q ≡ p v –q Además la proposición – [ (p # q) → (q θ r)] 7 . Pero saber es condición suficiente para ingresar”. mecánica o química. Formalizar: “Estar tranquilo es condición necesaria para rendir un buen examen.

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

Sign up to vote on this title
UsefulNot useful