SlideShare une entreprise Scribd logo
1  sur  12
Télécharger pour lire hors ligne
CAP´
   ITULO 1
                         ´
NOCIONES ELEMENTALES DE LOGICA
      ´
MATEMATICA




   Estudiaremos brevemente un lenguaje no contradictorio ni ambivalente que nos per-
mitir´ 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

  b) l´gica funcional.
      o


1.1.      ´
         LOGICA PROPOSICIONAL

    En la l´gica proposicional consideraremos dos elementos b´sicos: Proposiciones, Conec-
           o                                                 a
tivos.

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).
    Las proposiciones 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 proposi-
                                               a
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.


Ejemplo 1.1.2. Si p, q, r son proposiciones, entonces tambi´n son proposiciones:
                                                           e

    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”.
CAP´                                ´          ´
   ITULO 1 NOCIONES ELEMENTALES DE LOGICA MATEMATICA                                        3


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

                                        p       ∼p
                                        V       F
                                        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 de ellas, denotada p ∧ q, que se
                                                        o
lee “p y q”, proposici´n tal que su tabla de verdad es
                      o

                                   p        q       p∧q
                                   V        V        V
                                   V        F        F
                                   F        V        F
                                   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 tabla de verdad es
                      o

                                   p        q       p∨q
                                   V        V        V
                                   V        F        V
                                   F        V        V
                                   F        F        F
4                                UNIVERSIDAD DE SANTIAGO DE CHILE, FACULTAD DE CIENCIA


Observaci´n 1.1.5.
         o
    1. La disyunci´n es verdadera siempre, menos cuando las proposiciones que la compo-
                  o
       nen son ambas falsas.
    2. La disyunci´n presentada es incluyente, es decir, admite como verdadera a la proposi-
                   o
       ci´n p ∨ q cuando ambas proposiciones que la componen lo son, sin embargo, si de-
         o
       seamos la disyunci´n excluyente, la denotamos p q, en este caso, si las proposiciones
                         o
       p, q son ambas verdaderas entonces p q es falsa.


Tabla de Verdad de la Implicaci´n (⇒)
                               o
   Dadas las proposiciones “p”, “q” existe la implicaci´n de p con q, denotada p ⇒ q,
                                                          o
que se lee “p implica q” o “si ocurre p, entonces ocurre q”, proposici´n tal que su tabla de
                                                                      o
verdad es
                                   p        q      p⇒q
                                   V       V         V
                                   V       F         F
                                   F       V         V
                                   F       F         V

Observaci´n 1.1.6. La implicaci´n es verdadera siempre, menos cuando el antecedente p
         o                      o
es verdadero y el consecuente q es falso.


Tabla de Verdad de la Equivalencia (⇔)
   Dadas las proposiciones “p”, “q”, existe la equivalencia de p con q, denotada p ⇔ q,
que se lee “p equivalente q” o “p si y s´lo si q”, proposici´n tal que su tabla de verdad es
                                        o                   o
                                   p       q       p⇔q
                                   V       V        V
                                   V       F        F
                                   F       V        F
                                   F       F        V

Observaci´n 1.1.7. Resulta natural que la equivalencia sea verdadera cuando las dos
          o
proposiciones que la componen tienen el valor el mismo valor veritativo.

Ejemplo 1.1.3. Determine el valor veritativo de ∼ (p ∧ q) ⇔ [(∼ p) ∨ (∼ q)].
Soluci´n. Su tabla de verdad es:
      o
      p   q   p ∧ q ∼ (p ∧ q) ∼ p ∼ q (∼ p) ∨ (∼ q) ∼ (p ∧ q) ⇔ [(∼ p) ∨ (∼ q)]
      V   V     V      F      F   F         F                   V
      V   F     F      V      F   V         V                   V
      F   V     F      V      V   F         V                   V
      F   F     F      V      V   V         V                   V
CAP´                                ´          ´
   ITULO 1 NOCIONES ELEMENTALES DE LOGICA MATEMATICA                                    5


Ejemplo 1.1.4. Determine el valor veritativo de [p ∧ (q ∨ r)] ⇒ r.

Soluci´n. Su tabla de verdad es
      o

                     p   q   r       q ∨ r p ∧ (q ∨ r) [p ∧ (q ∨ r)] ⇒ r
                     V   V   V         V        V              V
                     V   V   F         V        V              F
                     V   F   V         V        V              V
                     V   F   F         F        F              V
                     F   V   V         V        F              V
                     F   V   F         V        F              V
                     F   F   V         V        F              V
                     F   F   F         F        F              V


    En el ejemplo anterior, dado que consideramos tres proposiciones b´sicas, el total
                                                                          a
de variaciones de tres elementos, cada uno con respuestas dicot´mica (grupos con tres
                                                                 o
elementos donde interesa el orden) es 23 = 8. Si son 4 las proposiciones b´sicas entonces
                                                                          a
el total de variaciones, en estas condiciones, es 24 = 16.

Ejemplo 1.1.5. Si (∼ p ∧ q) ⇒ r es Falso, determine el valor de verdad de
(q ∨ s) ⇒∼ (r ∧ p).

Soluci´n. Como (∼ p ∧ q) ⇒ r es Falso entonces ∼ p ∧ q es Verdadero y r es Falso; es
        o
decir, conseguimos ∼ p es V , q es V , r es F .
    Dado que q es V entonces la proposici´n q ∨ s es V , adem´s, como r es F entonces
                                             o               a
r ∧ p es F de donde ∼ (r ∧ p) es V .
    Finalmente, (q ∨ s) ⇒∼ (r ∧ p) es V .


1.1.4.   Tautolog´ Contradicci´n, Contingencia
                 ıa,          o
Tautolog´
        ıa
    Una proposici´n compuesta que siempre es verdadera, es una Tautolog´ Una tau-
                 o                                                     ıa.
tolog´ la denotamos por I.
     ıa

Ejemplo 1.1.6. Demuestre que p ∨ (∼ p) es tautolog´
                                                  ıa.

Soluci´n. Debemos encontrar su tabla de verdad y verificar que siempre es verdadera
      o

                                 p        ∼p         p ∨ (∼ p)
                                 V        F              V
                                 F        V              V



Ejemplo 1.1.7. Demuestre que ∼ (∼ p) ⇔ p es tautolog´
                                                    ıa.
6                                 UNIVERSIDAD DE SANTIAGO DE CHILE, FACULTAD DE CIENCIA


Soluci´n. Su tabla de verdad es
      o
                              p   ∼ p ∼ (∼ p) ∼ (∼ p) ⇔ p
                              V   F      V        V
                              F   V      F        V


Ejemplo 1.1.8. Demuestre que {p ⇒ [q ∧ (∼ q)]} ⇒ (∼ p) es tautolog´
                                                                  ıa.
Soluci´n. Su tabla de verdad es
      o
        p   q   ∼ q q ∧ (∼ q) p ⇒ [q ∧ (∼ q)] ∼ p {p ⇒ [q ∧ (∼ q)]} ⇒ (∼ p)
        V   V   F       F           F         F               V
        V   F   V       F           F         F               V
        F   V   F       F           V         V               V
        F   F   V       F           V         V               V

Esta proposici´n se llama “m´todo de demostraci´n por reducci´n al absurdo”.
              o             e                  o             o


Contradicci´n
           o
   Una proposici´n que siempre es falsa, es una Contradicci´n. Una contradicci´n la
                 o                                         o                  o
denotamos por 0.

Ejemplo 1.1.9. Demuestre que p ∧ (∼ p) es una contradicci´n.
                                                         o
Soluci´n. Debemos encontrar la tabla de verdad de la proposici´n y verificar que siempre
        o                                                     o
es falsa
                            p       ∼p        p ∧ (∼ p)
                           V         F            F
                           F         V            F


Contingencia
    Una proposici´n que no es tautolog´ ni contradicci´n se llama Contingencia.
                 o                    ıa              o

Ejemplo 1.1.10. Demuestre que p ∨ (∼ q) es una contingencia.
Soluci´n. Su tabla de verdad es
      o
                          p         q       ∼q       p ∨ (∼ q)
                          V         V       F            V
                          V         F       V            V
                          F         V       F            F
                          F         F       V            V

Concluimos que p ∨ (∼ q) es una contingencia.
CAP´                                ´          ´
   ITULO 1 NOCIONES ELEMENTALES DE LOGICA MATEMATICA                                         7

                        ´
Leyes Fundamentales del Algebra de Proposiciones

    Identidad            p∧I ⇔p                            p∨0⇔p
                         p∧0⇔0                             p∨I ⇔I

    Idempotencia         p∧p⇔p                             p∨p⇔p

    Involuci´n
            o            ∼ (∼ p) ⇔ p

    Complemento          ∼0⇔I                              ∼I⇔0
                         p ∧ (∼ p) ⇔ 0                     p ∨ (∼ p) ⇔ I

    Conmutatividad       p∧q ⇔q∧p                          p∨q ⇔q∨p

    Asociatividad        p ∧ (q ∧ r) ⇔ (p ∧ q) ∧ r         p ∨ (q ∨ r) ⇔ (p ∨ q) ∨ r

    Distributividad      p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)   p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)

    De Morgan            ∼ (p ∧ q) ⇔ (∼ p) ∨ (∼ q)         ∼ (p ∨ q) ⇔ (∼ p) ∧ (∼ q)

Observaci´n 1.1.8. Una ley fundamental, muy importante es (p ⇒ q) ⇔ ((∼ p) ∨ q).
         o


Ejemplo 1.1.11. Si definimos        y ∆ como p q = (∼ p) ∧ (∼ q), p∆q = (∼ p) ∨ (∼ q),
demuestre, sin usar tablas de verdad que

  a) p p ⇔∼ p.

  b) p ∧ q ⇔∼ (p∆q).

  c) p ∨ q ⇔∼ (p q).

Soluci´n.
      o

  a) p p ⇔ (∼ p) ∧ (∼ p) ⇔∼ p.

  b) ∼ (p∆q) ⇔∼ [(∼ p) ∨ (∼ q)] ⇔∼ (∼ p)∧ ∼ (∼ q) ⇔ p ∧ q.

  c) ∼ (p q) ⇔∼ [(∼ p) ∧ (∼ q)] ⇔∼ (∼ p)∨ ∼ (∼ q) ⇔ p ∨ q.


Ejemplo 1.1.12. Sin usar tablas de verdad, demuestre que p ∨ [(∼ p) ∧ q] ⇔ p ∨ q.

Soluci´n.
      o
                 p ∨ [(∼ p) ∧ q] ⇔ [p ∨ (∼ p)] ∧ [p ∨ q] ⇔ I ∧ [p ∨ q] ⇔ p ∨ q.


Ejemplo 1.1.13. Demuestre que p ⇒ (p ∨ q) es una tautolog´
                                                         ıa.
8                             UNIVERSIDAD DE SANTIAGO DE CHILE, FACULTAD DE CIENCIA


Soluci´n.
      o

             [p ⇒ (p ∨ q)] ⇔ [∼ p ∨ (p ∨ q)] ⇔ [(∼ p ∨ p) ∨ q] ⇔ I ∨ q ⇔ I.



Ejemplo 1.1.14. Demuestre que [p ∧ (p ⇒ q)] ⇒ q es una tautolog´
                                                               ıa.

Soluci´n.
      o

               [p ∧ (p ⇒ q)] ⇒ q ⇔ ∼ [p ∧ (p ⇒ q)] ∨ q
                                  ⇔ ∼ {p ∧ [(∼ p) ∨ q]} ∨ q
                                  ⇔ {(∼ p)∨ ∼ [(∼ p) ∨ q]} ∨ q
                                  ⇔ {(∼ p) ∨ [p ∧ (∼ q)]} ∨ q
                                  ⇔ {[(∼ p) ∨ p] ∧ [(∼ p) ∨ (∼ q)]} ∨ q
                                  ⇔ {[I ∧ [(∼ p) ∨ (∼ q)]]} ∨ q
                                  ⇔ [(∼ p) ∨ (∼ q)] ∨ q
                                  ⇔ (∼ p) ∨ [(∼ q) ∨ q]
                                  ⇔ ∼p∨I
                                  ⇔ I.



Ejemplo 1.1.15. Demuestre, sin usar tablas {[(p ∧ q) ∨ r]∧ ∼ q} ∨ q ⇔ (r ∨ q).

Soluci´n.
      o

              {[(p ∧ q) ∨ r]∧ ∼ q} ∨ q ⇔ {[(p ∧ q)∧ ∼ q] ∨ (r∧ ∼ q)} ∨ q
                                       ⇔ {[p ∧ (q∧ ∼ q)] ∨ (r∧ ∼ q)} ∨ q
                                       ⇔ {[p ∧ 0] ∨ (r∧ ∼ q)} ∨ q
                                       ⇔ {0 ∨ (r∧ ∼ q)} ∨ q
                                       ⇔ (r∧ ∼ q) ∨ q
                                       ⇔ (r ∨ q) ∧ (∼ q ∨ q)
                                       ⇔ (r ∨ q) ∧ I
                                       ⇔ r ∨ q.



1.2.      ´
         LOGICA FUNCIONAL

1.2.1.   Cuantificadores
   Consideremos la siguiente frase: “x es un n´mero par”. Claramente esta frase no es
                                                u
proposici´n; es una f´rmula proposicional y la denotamos por p(x):“x es un n´mero par”.
         o           o                                                      u
¿C´mo transformar una f´rmula proposicional (FP) a proposici´n?.
  o                    o                                    o
CAP´                                ´          ´
   ITULO 1 NOCIONES ELEMENTALES DE LOGICA MATEMATICA                                  9


  1. Reemplazando “x” por un elemento determinado de un conjunto especifico D, llama-
     do Dominio de la variable x. As´ si para esta FP, D es el conjunto cuyos elementos
                                    ı,
     son 1, 2, 3, 4, entonces:
     p(1) : 1 es un n´mero par, es una proposici´n, ya que p(1) es falso.
                     u                          o
     p(2) : 2 es un n´mero par, es una proposici´n, ya que p(2) es verdadero.
                     u                          o

  2. Anteponiendo a la FP un s´
                              ımbolo que responde a la pregunta ¿cu´ntos elementos
                                                                   a
     de D verifican p(x)?.
     Estos s´
            ımbolos, llamados Cuantificadores, son:
     ∀ : significa “todos”.
     ∃ : significa “algunos”.
     adicionalmente tenemos
     ∃! : significa “un unico”.
                       ´


Ejemplo 1.2.1.

  1. ∀ x de D : p(x) se lee:“todos los elementos de D son n´meros pares” y, claramente
                                                           u
     es una proposici´n, ya que es falsa.
                     o

  2. ∃x de D : p(x) se lee:“alg´n elemento de D es un n´mero par”, es una proposici´n,
                               u                       u                           o
     ya que es verdadera.

  3. ∃!x de D : p(x) se lee:“un unico elemento de D es un n´mero par”, claramente es
                                ´                          u
     una proposici´n, ya que es falsa.
                  o


Observaci´n 1.2.1.
         o

  1. Adelant´ndonos, escribiremos: ∀ x ∈ D : p(x) en lugar de ∀ x de D : p(x).
            a

  2. Las definiciones, tanto en Matem´tica como en otras Ciencias que usan la Matem´tica,
                                    a                                              a
     definen sus conceptos y declaran sus proposiciones usando, en particular, los cuan-
     tificadores. Necesitamos conocer las leyes que regulan la cuantificaci´n.
                                                                         o

1.2.2.   Leyes de la Cuantificaci´n
                                o
   Se cumple

  1. ∼ [∀ x ∈ D : p(x)] ⇔ ∃ x ∈ D :∼ p(x).

  2. ∼ [∃ x ∈ D : p(x)] ⇔ ∀ x ∈ D :∼ p(x).
10                                   UNIVERSIDAD DE SANTIAGO DE CHILE, FACULTAD DE CIENCIA


Demostraci´n.
          o

     1. Si ∼ [∀ x ∈ D : P (x)] es V entonces ∀ x ∈ D : p(x) es F , luego ∃ x ∈ D :∼ p(x) es V .
        Si ∼ [∀ x ∈ D : P (x)] es F entonces ∀ x ∈ D : p(x) es V de donde ∃ x ∈ D :∼ p(x)
        es F .
        Por lo anterior concluimos que ∼ [∀ x ∈ D : p(x)] ⇔ ∃ x ∈ D :∼ p(x) es tautolog´
                                                                                       ıa.

     2. Si ∼ [∃ x ∈ D : P (x)] es V ⇒ ∃ x ∈ D : p(x) es F ⇒ ∀ x ∈ D :∼ p(x) es V .
        Si ∼ [∃ x ∈ D : P (x)] es F ⇒ ∃ x ∈ D : p(x) es V ⇒ ∀ x ∈ D :∼ p(x) es F .
        As´ entonces: ∼ [∃ x ∈ D : p(x)] ⇔ ∀ x ∈ D :∼ p(x) es una tautolog´
          ı                                                               ıa.




Ejemplo 1.2.2. Se define, para los conjuntos A y B, la noci´n de “subconjunto”, denotado
                                                          o
A ⊆ B como
                          A ⊆ B ⇔ [∀ x : x ∈ A ⇒ x ∈ B].
Determine en que condiciones A no es subconjunto de B.
Notaci´n: ∼ (A ⊆ B) = A ⊂ B.
      o

Soluci´n. Como A ⊆ B ⇔ [∀ x : x ∈ A ⇒ x ∈ B] entonces
      o

                              A ⊂ B ⇔ ∼ [∀ x : x ∈ A ∨ x ∈ B]
                                                 /
                                        ⇔ ∃ x : ∼ (x ∈ A ∨ x ∈ B)
                                                     /
                                        ⇔ ∃ x : x ∈ A ∧ x ∈ B.
                                                          /



1.3.     EJERCICIOS PROPUESTOS

Ejercicio 1.1. Indique el valor veritativo de las siguientes proposiciones

     a) Todo n´mero natural es mayor que 2.
              u

     b) (∀ x ∈ R)(∃ y ∈ R) : xy > 0.

     c) ∃ x ∈ N : x2 > 100.


Ejercicio 1.2. Use tablas de verdad para clasificar las siguientes proposiciones como:
Tautolog´ Contradicci´n o Contingencia.
        ıa,          o

     a) [(p ∨ q) ⇒ q] ⇒ (∼ p ∨ q).

     b) (p ⇒ q) ⇒ [(p ∧ r) ⇒ (q ∧ r)].

     c) ∼ [(∼ p ⇒ q)∧ ∼ (p ∧ q)] ∧ q.

     d) [(p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r).
CAP´                                ´          ´
   ITULO 1 NOCIONES ELEMENTALES DE LOGICA MATEMATICA                                       11


Ejercicio 1.3. Demuestre mediante Algebra de proposiciones

  a) [(p ∨ q)∧ ∼ p] ⇔ (∼ p ∧ q).

  b) [∼ (p ∨ q) ∨ (∼ p ∧ q)] ⇔∼ p.

  c) [p ⇒ (q ∧ r)] ⇔ [(p ⇒ q) ∧ (p ⇒ r)].


Ejercicio 1.4. Usando los datos proporcionados en cada caso, obtenga el valor veritativo
pedido

  a) Si se sabe que p ∧ q es V y adem´s r ∧ p es F , determine el valor de (r ∨ q) ⇒ (r ∧ q).
                                     a
     Resp. F

  b) Sabiendo que p ⇒ q es F , r ∧ p es F , determine el valor veritativo de

        i) p ⇔ r.      Resp. F
       ii) ∼ [p ∧ (∼ r)].      Resp. F

  c) De la falsedad de (p ⇒∼ q) ∨ (∼ r ⇒ s) deduzca el valor veritativo de

        i) (∼ p∧ ∼ q) ∨ (∼ q).        Resp. F
       ii) [(∼ r ∨ q) ∧ q] ⇔ [(∼ q ∨ r) ∧ s].       Resp. F
      iii) (p ⇒ r) ⇒ [(p ∨ q) ∧ (∼ q)].         Resp. V


Ejercicio 1.5. Si p ↓ q significa “ni p y ni q”, ¿cu´les de las siguientes proposiciones son
                                                   a
tautolog´
        ıas?.

  a) [(p ↓ q) ↓ (q ↓ p)] ⇔ (p ∨ q).

  b) ∼ (p ∧ q) ⇔ p ↓ q.

  c) (p ↓ q) ⇔∼ (p ∨ q).

  d) ∼ (p ↓ q) ⇔ p ∨ q.


Ejercicio 1.6. Sabiendo que la proposici´n compuesta ∼ p [q ⇒ (∼ r∨ ∼ s)] es ver-
                                          o
dadera, determine el valor de verdad de [∼ p ⇒ (∼ r ∨ q)] ∨ s. Resp. V


Ejercicio 1.7. Demuestre que cada uno de los siguientes argumentos es v´lido (es decir,
                                                                        a
que la proposici´n es una tautolog´ usando el ´lgebra de proposiciones.
                o                 ıa),        a

  a) [(p ⇒ q) ∧ p] ⇒ q.

  b) [(p ⇒ q) ∧ (∼ p)] ⇒∼ p.

  c) [(p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r).
12                                UNIVERSIDAD DE SANTIAGO DE CHILE, FACULTAD DE CIENCIA


     d) [(p ∨ q) ∧ (∼ p)] ⇒ q.

     e) (p ∧ q) ⇒ p,   (p ∧ q) ⇒ q.

     f) p ⇒ (p ∨ q).

   Adem´s, identifique cada una de las siguientes “frases” con alguno de los argumentos
          a
anteriores

     1. Jos´ tiene un cuaderno o un l´piz , Jos´ no tiene un cuaderno, por lo tanto, Jos´ tiene
           e                         a         e                                        e
        un l´piz.
            a

     2. Si Jos´ gana el concurso entonces obtendr´ una beca, Jos´ gan´ el concurso, por lo
              e                                  a              e    o
        tanto, Jos´ obtendr´ la beca.
                  e        a

     3. Si Jos´ gana el concurso entonces obtendr´ una beca, Jos´ no obtuvo la beca, por lo
              e                                  a              e
        tanto, Jos´ no gan´ el concurso.
                  e        o

     4. Todos los monos son desordenados, luego, los monos son desordenados o son peludos.

     5. Si no llueve entonces se perder´ la cosecha, si se pierde la cosecha entonces no se
                                       a
        podr´ cancelar la deuda entonces, si no llueve, no se podr´ cancelar la deuda.
             a                                                    a

     6. Ning´n estudiante es ocioso y Mar´ es una excelente bailarina, luego, ning´n estu-
             u                           ıa                                       u
        diante es ocioso.

Contenu connexe

Tendances

LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALCESAR V
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IIvalefrey1
 
Introduccion a la logica de proposiciones ccesa007
Introduccion a la logica de  proposiciones ccesa007Introduccion a la logica de  proposiciones ccesa007
Introduccion a la logica de proposiciones ccesa007Demetrio Ccesa Rayme
 
Ejercicios resueltos rdi ss
Ejercicios resueltos   rdi ssEjercicios resueltos   rdi ss
Ejercicios resueltos rdi ssCarlos Davila
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdadRogerArroyo
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadpaquitogiron
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalSael0001
 
PRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADPRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADjuniorfernandoo
 
Las tablas de verdad
Las tablas de verdadLas tablas de verdad
Las tablas de verdadJudith Wuera
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicasEva Vásquez
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicionalMariexis Cova
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNPacheco Huarotto, Luis
 

Tendances (20)

Proposiciones
ProposicionesProposiciones
Proposiciones
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
Introduccion a la logica de proposiciones ccesa007
Introduccion a la logica de  proposiciones ccesa007Introduccion a la logica de  proposiciones ccesa007
Introduccion a la logica de proposiciones ccesa007
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Ejercicios resueltos rdi ss
Ejercicios resueltos   rdi ssEjercicios resueltos   rdi ss
Ejercicios resueltos rdi ss
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Conectivos Lógicos
Conectivos LógicosConectivos Lógicos
Conectivos Lógicos
 
LÓGICA MATEMATICA
LÓGICA MATEMATICALÓGICA MATEMATICA
LÓGICA MATEMATICA
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
PRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADPRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDAD
 
Las tablas de verdad
Las tablas de verdadLas tablas de verdad
Las tablas de verdad
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Teoria de grafos
Teoria de grafosTeoria de grafos
Teoria de grafos
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 

Similaire à Álgebra Capítulo 1 (Lógica)

T logica
T logicaT logica
T logicaDaniel
 
Valores de verdad
Valores de verdadValores de verdad
Valores de verdaddesousat
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasSaúl Qc
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbertASIGNACIONUFT
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logicalupitamartel
 
Tema 2 logica proposicional
Tema 2 logica proposicionalTema 2 logica proposicional
Tema 2 logica proposicionalEva Vásquez
 
Slideshare
SlideshareSlideshare
Slideshareange74
 
Capitulo2: Elementos de lógica proposicional
Capitulo2: Elementos de lógica proposicionalCapitulo2: Elementos de lógica proposicional
Capitulo2: Elementos de lógica proposicionalMarrano Axqueroxix
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.Jorgexm01
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionalherostara
 

Similaire à Álgebra Capítulo 1 (Lógica) (20)

LibroAlgebra.pdf
LibroAlgebra.pdfLibroAlgebra.pdf
LibroAlgebra.pdf
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Cap121 a 33 MECA
Cap121 a 33 MECACap121 a 33 MECA
Cap121 a 33 MECA
 
T logica
T logicaT logica
T logica
 
Valores de verdad
Valores de verdadValores de verdad
Valores de verdad
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones Compuestas
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbert
 
OPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: PrácticaOPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: Práctica
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
 
Tema 2 logica proposicional
Tema 2 logica proposicionalTema 2 logica proposicional
Tema 2 logica proposicional
 
Slideshare
SlideshareSlideshare
Slideshare
 
Capitulo2: Elementos de lógica proposicional
Capitulo2: Elementos de lógica proposicionalCapitulo2: Elementos de lógica proposicional
Capitulo2: Elementos de lógica proposicional
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.
 
Conectivos lógicos.pdf
Conectivos lógicos.pdfConectivos lógicos.pdf
Conectivos lógicos.pdf
 
Estructura
EstructuraEstructura
Estructura
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
proposiciones
proposicionesproposiciones
proposiciones
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Capitulo3: Leyes lógicas
Capitulo3: Leyes lógicasCapitulo3: Leyes lógicas
Capitulo3: Leyes lógicas
 
Conectivos
ConectivosConectivos
Conectivos
 

Plus de Francisco Gaete Garrido

Plus de Francisco Gaete Garrido (13)

Guia de factorización
Guia de factorizaciónGuia de factorización
Guia de factorización
 
Solución guía n°1 operaciones combinadas
Solución guía n°1 operaciones combinadasSolución guía n°1 operaciones combinadas
Solución guía n°1 operaciones combinadas
 
Álgebra Capítulo 2 (Teoría de Conjuntos)
Álgebra Capítulo 2 (Teoría de Conjuntos)Álgebra Capítulo 2 (Teoría de Conjuntos)
Álgebra Capítulo 2 (Teoría de Conjuntos)
 
Ejercicios de lógica proposicional
Ejercicios de lógica proposicionalEjercicios de lógica proposicional
Ejercicios de lógica proposicional
 
Problema de cinemática (Caída libre y tiro vertical)
Problema de cinemática (Caída libre y tiro vertical)Problema de cinemática (Caída libre y tiro vertical)
Problema de cinemática (Caída libre y tiro vertical)
 
Razonamiento matemático1
Razonamiento matemático1Razonamiento matemático1
Razonamiento matemático1
 
RESUMEN DE GEOMETRÍA
RESUMEN DE GEOMETRÍARESUMEN DE GEOMETRÍA
RESUMEN DE GEOMETRÍA
 
RESUMEN DE ALGEBRA
RESUMEN DE ALGEBRARESUMEN DE ALGEBRA
RESUMEN DE ALGEBRA
 
Perímetro de un polígono en un plano cartesiano
Perímetro de un polígono en un plano cartesianoPerímetro de un polígono en un plano cartesiano
Perímetro de un polígono en un plano cartesiano
 
Operaciones combinados guía 2
Operaciones combinados guía 2Operaciones combinados guía 2
Operaciones combinados guía 2
 
Operaciones combinados guía 1
Operaciones combinados guía 1Operaciones combinados guía 1
Operaciones combinados guía 1
 
La cultura de chile
La cultura de chileLa cultura de chile
La cultura de chile
 
Calculando las diagonales de un rombo.
Calculando las diagonales de un rombo.Calculando las diagonales de un rombo.
Calculando las diagonales de un rombo.
 

Álgebra Capítulo 1 (Lógica)

  • 1. CAP´ ITULO 1 ´ NOCIONES ELEMENTALES DE LOGICA ´ MATEMATICA Estudiaremos brevemente un lenguaje no contradictorio ni ambivalente que nos per- mitir´ 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 b) l´gica funcional. o 1.1. ´ LOGICA PROPOSICIONAL En la l´gica proposicional consideraremos dos elementos b´sicos: Proposiciones, Conec- o a tivos. 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). Las proposiciones 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. 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 proposi- a 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. Ejemplo 1.1.2. Si p, q, r son proposiciones, entonces tambi´n son proposiciones: e 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”.
  • 3. CAP´ ´ ´ ITULO 1 NOCIONES ELEMENTALES DE LOGICA MATEMATICA 3 Tabla de Verdad de la Negaci´n (∼) o Dada la proposici´n b´sica “p” , existe la negaci´n de ella, denotada ∼ p, que se lee o a o “no p”, proposici´n que tiene la siguiente tabla de verdad. o p ∼p V F 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 de ellas, denotada p ∧ q, que se o lee “p y q”, proposici´n tal que su tabla de verdad es o p q p∧q V V V V F F F V F 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 tabla de verdad es o p q p∨q V V V V F V F V V F F F
  • 4. 4 UNIVERSIDAD DE SANTIAGO DE CHILE, FACULTAD DE CIENCIA Observaci´n 1.1.5. o 1. La disyunci´n es verdadera siempre, menos cuando las proposiciones que la compo- o nen son ambas falsas. 2. La disyunci´n presentada es incluyente, es decir, admite como verdadera a la proposi- o ci´n p ∨ q cuando ambas proposiciones que la componen lo son, sin embargo, si de- o seamos la disyunci´n excluyente, la denotamos p q, en este caso, si las proposiciones o p, q son ambas verdaderas entonces p q es falsa. Tabla de Verdad de la Implicaci´n (⇒) o Dadas las proposiciones “p”, “q” existe la implicaci´n de p con q, denotada p ⇒ q, o que se lee “p implica q” o “si ocurre p, entonces ocurre q”, proposici´n tal que su tabla de o verdad es p q p⇒q V V V V F F F V V F F V Observaci´n 1.1.6. La implicaci´n es verdadera siempre, menos cuando el antecedente p o o es verdadero y el consecuente q es falso. Tabla de Verdad de la Equivalencia (⇔) Dadas las proposiciones “p”, “q”, existe la equivalencia de p con q, denotada p ⇔ q, que se lee “p equivalente q” o “p si y s´lo si q”, proposici´n tal que su tabla de verdad es o o p q p⇔q V V V V F F F V F F F V Observaci´n 1.1.7. Resulta natural que la equivalencia sea verdadera cuando las dos o proposiciones que la componen tienen el valor el mismo valor veritativo. Ejemplo 1.1.3. Determine el valor veritativo de ∼ (p ∧ q) ⇔ [(∼ p) ∨ (∼ q)]. Soluci´n. Su tabla de verdad es: o p q p ∧ q ∼ (p ∧ q) ∼ p ∼ q (∼ p) ∨ (∼ q) ∼ (p ∧ q) ⇔ [(∼ p) ∨ (∼ q)] V V V F F F F V V F F V F V V V F V F V V F V V F F F V V V V V
  • 5. CAP´ ´ ´ ITULO 1 NOCIONES ELEMENTALES DE LOGICA MATEMATICA 5 Ejemplo 1.1.4. Determine el valor veritativo de [p ∧ (q ∨ r)] ⇒ r. Soluci´n. Su tabla de verdad es o p q r q ∨ r p ∧ (q ∨ r) [p ∧ (q ∨ r)] ⇒ r V V V V V V V V F V V F V F V V V V V F F F F V F V V V F V F V F V F V F F V V F V F F F F F V En el ejemplo anterior, dado que consideramos tres proposiciones b´sicas, el total a de variaciones de tres elementos, cada uno con respuestas dicot´mica (grupos con tres o elementos donde interesa el orden) es 23 = 8. Si son 4 las proposiciones b´sicas entonces a el total de variaciones, en estas condiciones, es 24 = 16. Ejemplo 1.1.5. Si (∼ p ∧ q) ⇒ r es Falso, determine el valor de verdad de (q ∨ s) ⇒∼ (r ∧ p). Soluci´n. Como (∼ p ∧ q) ⇒ r es Falso entonces ∼ p ∧ q es Verdadero y r es Falso; es o decir, conseguimos ∼ p es V , q es V , r es F . Dado que q es V entonces la proposici´n q ∨ s es V , adem´s, como r es F entonces o a r ∧ p es F de donde ∼ (r ∧ p) es V . Finalmente, (q ∨ s) ⇒∼ (r ∧ p) es V . 1.1.4. Tautolog´ Contradicci´n, Contingencia ıa, o Tautolog´ ıa Una proposici´n compuesta que siempre es verdadera, es una Tautolog´ Una tau- o ıa. tolog´ la denotamos por I. ıa Ejemplo 1.1.6. Demuestre que p ∨ (∼ p) es tautolog´ ıa. Soluci´n. Debemos encontrar su tabla de verdad y verificar que siempre es verdadera o p ∼p p ∨ (∼ p) V F V F V V Ejemplo 1.1.7. Demuestre que ∼ (∼ p) ⇔ p es tautolog´ ıa.
  • 6. 6 UNIVERSIDAD DE SANTIAGO DE CHILE, FACULTAD DE CIENCIA Soluci´n. Su tabla de verdad es o p ∼ p ∼ (∼ p) ∼ (∼ p) ⇔ p V F V V F V F V Ejemplo 1.1.8. Demuestre que {p ⇒ [q ∧ (∼ q)]} ⇒ (∼ p) es tautolog´ ıa. Soluci´n. Su tabla de verdad es o p q ∼ q q ∧ (∼ q) p ⇒ [q ∧ (∼ q)] ∼ p {p ⇒ [q ∧ (∼ q)]} ⇒ (∼ p) V V F F F F V V F V F F F V F V F F V V V F F V F V V V Esta proposici´n se llama “m´todo de demostraci´n por reducci´n al absurdo”. o e o o Contradicci´n o Una proposici´n que siempre es falsa, es una Contradicci´n. Una contradicci´n la o o o denotamos por 0. Ejemplo 1.1.9. Demuestre que p ∧ (∼ p) es una contradicci´n. o Soluci´n. Debemos encontrar la tabla de verdad de la proposici´n y verificar que siempre o o es falsa p ∼p p ∧ (∼ p) V F F F V F Contingencia Una proposici´n que no es tautolog´ ni contradicci´n se llama Contingencia. o ıa o Ejemplo 1.1.10. Demuestre que p ∨ (∼ q) es una contingencia. Soluci´n. Su tabla de verdad es o p q ∼q p ∨ (∼ q) V V F V V F V V F V F F F F V V Concluimos que p ∨ (∼ q) es una contingencia.
  • 7. CAP´ ´ ´ ITULO 1 NOCIONES ELEMENTALES DE LOGICA MATEMATICA 7 ´ Leyes Fundamentales del Algebra de Proposiciones Identidad p∧I ⇔p p∨0⇔p p∧0⇔0 p∨I ⇔I Idempotencia p∧p⇔p p∨p⇔p Involuci´n o ∼ (∼ p) ⇔ p Complemento ∼0⇔I ∼I⇔0 p ∧ (∼ p) ⇔ 0 p ∨ (∼ p) ⇔ I Conmutatividad p∧q ⇔q∧p p∨q ⇔q∨p Asociatividad p ∧ (q ∧ r) ⇔ (p ∧ q) ∧ r p ∨ (q ∨ r) ⇔ (p ∨ q) ∨ r Distributividad p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r) p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r) De Morgan ∼ (p ∧ q) ⇔ (∼ p) ∨ (∼ q) ∼ (p ∨ q) ⇔ (∼ p) ∧ (∼ q) Observaci´n 1.1.8. Una ley fundamental, muy importante es (p ⇒ q) ⇔ ((∼ p) ∨ q). o Ejemplo 1.1.11. Si definimos y ∆ como p q = (∼ p) ∧ (∼ q), p∆q = (∼ p) ∨ (∼ q), demuestre, sin usar tablas de verdad que a) p p ⇔∼ p. b) p ∧ q ⇔∼ (p∆q). c) p ∨ q ⇔∼ (p q). Soluci´n. o a) p p ⇔ (∼ p) ∧ (∼ p) ⇔∼ p. b) ∼ (p∆q) ⇔∼ [(∼ p) ∨ (∼ q)] ⇔∼ (∼ p)∧ ∼ (∼ q) ⇔ p ∧ q. c) ∼ (p q) ⇔∼ [(∼ p) ∧ (∼ q)] ⇔∼ (∼ p)∨ ∼ (∼ q) ⇔ p ∨ q. Ejemplo 1.1.12. Sin usar tablas de verdad, demuestre que p ∨ [(∼ p) ∧ q] ⇔ p ∨ q. Soluci´n. o p ∨ [(∼ p) ∧ q] ⇔ [p ∨ (∼ p)] ∧ [p ∨ q] ⇔ I ∧ [p ∨ q] ⇔ p ∨ q. Ejemplo 1.1.13. Demuestre que p ⇒ (p ∨ q) es una tautolog´ ıa.
  • 8. 8 UNIVERSIDAD DE SANTIAGO DE CHILE, FACULTAD DE CIENCIA Soluci´n. o [p ⇒ (p ∨ q)] ⇔ [∼ p ∨ (p ∨ q)] ⇔ [(∼ p ∨ p) ∨ q] ⇔ I ∨ q ⇔ I. Ejemplo 1.1.14. Demuestre que [p ∧ (p ⇒ q)] ⇒ q es una tautolog´ ıa. Soluci´n. o [p ∧ (p ⇒ q)] ⇒ q ⇔ ∼ [p ∧ (p ⇒ q)] ∨ q ⇔ ∼ {p ∧ [(∼ p) ∨ q]} ∨ q ⇔ {(∼ p)∨ ∼ [(∼ p) ∨ q]} ∨ q ⇔ {(∼ p) ∨ [p ∧ (∼ q)]} ∨ q ⇔ {[(∼ p) ∨ p] ∧ [(∼ p) ∨ (∼ q)]} ∨ q ⇔ {[I ∧ [(∼ p) ∨ (∼ q)]]} ∨ q ⇔ [(∼ p) ∨ (∼ q)] ∨ q ⇔ (∼ p) ∨ [(∼ q) ∨ q] ⇔ ∼p∨I ⇔ I. Ejemplo 1.1.15. Demuestre, sin usar tablas {[(p ∧ q) ∨ r]∧ ∼ q} ∨ q ⇔ (r ∨ q). Soluci´n. o {[(p ∧ q) ∨ r]∧ ∼ q} ∨ q ⇔ {[(p ∧ q)∧ ∼ q] ∨ (r∧ ∼ q)} ∨ q ⇔ {[p ∧ (q∧ ∼ q)] ∨ (r∧ ∼ q)} ∨ q ⇔ {[p ∧ 0] ∨ (r∧ ∼ q)} ∨ q ⇔ {0 ∨ (r∧ ∼ q)} ∨ q ⇔ (r∧ ∼ q) ∨ q ⇔ (r ∨ q) ∧ (∼ q ∨ q) ⇔ (r ∨ q) ∧ I ⇔ r ∨ q. 1.2. ´ LOGICA FUNCIONAL 1.2.1. Cuantificadores Consideremos la siguiente frase: “x es un n´mero par”. Claramente esta frase no es u proposici´n; es una f´rmula proposicional y la denotamos por p(x):“x es un n´mero par”. o o u ¿C´mo transformar una f´rmula proposicional (FP) a proposici´n?. o o o
  • 9. CAP´ ´ ´ ITULO 1 NOCIONES ELEMENTALES DE LOGICA MATEMATICA 9 1. Reemplazando “x” por un elemento determinado de un conjunto especifico D, llama- do Dominio de la variable x. As´ si para esta FP, D es el conjunto cuyos elementos ı, son 1, 2, 3, 4, entonces: p(1) : 1 es un n´mero par, es una proposici´n, ya que p(1) es falso. u o p(2) : 2 es un n´mero par, es una proposici´n, ya que p(2) es verdadero. u o 2. Anteponiendo a la FP un s´ ımbolo que responde a la pregunta ¿cu´ntos elementos a de D verifican p(x)?. Estos s´ ımbolos, llamados Cuantificadores, son: ∀ : significa “todos”. ∃ : significa “algunos”. adicionalmente tenemos ∃! : significa “un unico”. ´ Ejemplo 1.2.1. 1. ∀ x de D : p(x) se lee:“todos los elementos de D son n´meros pares” y, claramente u es una proposici´n, ya que es falsa. o 2. ∃x de D : p(x) se lee:“alg´n elemento de D es un n´mero par”, es una proposici´n, u u o ya que es verdadera. 3. ∃!x de D : p(x) se lee:“un unico elemento de D es un n´mero par”, claramente es ´ u una proposici´n, ya que es falsa. o Observaci´n 1.2.1. o 1. Adelant´ndonos, escribiremos: ∀ x ∈ D : p(x) en lugar de ∀ x de D : p(x). a 2. Las definiciones, tanto en Matem´tica como en otras Ciencias que usan la Matem´tica, a a definen sus conceptos y declaran sus proposiciones usando, en particular, los cuan- tificadores. Necesitamos conocer las leyes que regulan la cuantificaci´n. o 1.2.2. Leyes de la Cuantificaci´n o Se cumple 1. ∼ [∀ x ∈ D : p(x)] ⇔ ∃ x ∈ D :∼ p(x). 2. ∼ [∃ x ∈ D : p(x)] ⇔ ∀ x ∈ D :∼ p(x).
  • 10. 10 UNIVERSIDAD DE SANTIAGO DE CHILE, FACULTAD DE CIENCIA Demostraci´n. o 1. Si ∼ [∀ x ∈ D : P (x)] es V entonces ∀ x ∈ D : p(x) es F , luego ∃ x ∈ D :∼ p(x) es V . Si ∼ [∀ x ∈ D : P (x)] es F entonces ∀ x ∈ D : p(x) es V de donde ∃ x ∈ D :∼ p(x) es F . Por lo anterior concluimos que ∼ [∀ x ∈ D : p(x)] ⇔ ∃ x ∈ D :∼ p(x) es tautolog´ ıa. 2. Si ∼ [∃ x ∈ D : P (x)] es V ⇒ ∃ x ∈ D : p(x) es F ⇒ ∀ x ∈ D :∼ p(x) es V . Si ∼ [∃ x ∈ D : P (x)] es F ⇒ ∃ x ∈ D : p(x) es V ⇒ ∀ x ∈ D :∼ p(x) es F . As´ entonces: ∼ [∃ x ∈ D : p(x)] ⇔ ∀ x ∈ D :∼ p(x) es una tautolog´ ı ıa. Ejemplo 1.2.2. Se define, para los conjuntos A y B, la noci´n de “subconjunto”, denotado o A ⊆ B como A ⊆ B ⇔ [∀ x : x ∈ A ⇒ x ∈ B]. Determine en que condiciones A no es subconjunto de B. Notaci´n: ∼ (A ⊆ B) = A ⊂ B. o Soluci´n. Como A ⊆ B ⇔ [∀ x : x ∈ A ⇒ x ∈ B] entonces o A ⊂ B ⇔ ∼ [∀ x : x ∈ A ∨ x ∈ B] / ⇔ ∃ x : ∼ (x ∈ A ∨ x ∈ B) / ⇔ ∃ x : x ∈ A ∧ x ∈ B. / 1.3. EJERCICIOS PROPUESTOS Ejercicio 1.1. Indique el valor veritativo de las siguientes proposiciones a) Todo n´mero natural es mayor que 2. u b) (∀ x ∈ R)(∃ y ∈ R) : xy > 0. c) ∃ x ∈ N : x2 > 100. Ejercicio 1.2. Use tablas de verdad para clasificar las siguientes proposiciones como: Tautolog´ Contradicci´n o Contingencia. ıa, o a) [(p ∨ q) ⇒ q] ⇒ (∼ p ∨ q). b) (p ⇒ q) ⇒ [(p ∧ r) ⇒ (q ∧ r)]. c) ∼ [(∼ p ⇒ q)∧ ∼ (p ∧ q)] ∧ q. d) [(p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r).
  • 11. CAP´ ´ ´ ITULO 1 NOCIONES ELEMENTALES DE LOGICA MATEMATICA 11 Ejercicio 1.3. Demuestre mediante Algebra de proposiciones a) [(p ∨ q)∧ ∼ p] ⇔ (∼ p ∧ q). b) [∼ (p ∨ q) ∨ (∼ p ∧ q)] ⇔∼ p. c) [p ⇒ (q ∧ r)] ⇔ [(p ⇒ q) ∧ (p ⇒ r)]. Ejercicio 1.4. Usando los datos proporcionados en cada caso, obtenga el valor veritativo pedido a) Si se sabe que p ∧ q es V y adem´s r ∧ p es F , determine el valor de (r ∨ q) ⇒ (r ∧ q). a Resp. F b) Sabiendo que p ⇒ q es F , r ∧ p es F , determine el valor veritativo de i) p ⇔ r. Resp. F ii) ∼ [p ∧ (∼ r)]. Resp. F c) De la falsedad de (p ⇒∼ q) ∨ (∼ r ⇒ s) deduzca el valor veritativo de i) (∼ p∧ ∼ q) ∨ (∼ q). Resp. F ii) [(∼ r ∨ q) ∧ q] ⇔ [(∼ q ∨ r) ∧ s]. Resp. F iii) (p ⇒ r) ⇒ [(p ∨ q) ∧ (∼ q)]. Resp. V Ejercicio 1.5. Si p ↓ q significa “ni p y ni q”, ¿cu´les de las siguientes proposiciones son a tautolog´ ıas?. a) [(p ↓ q) ↓ (q ↓ p)] ⇔ (p ∨ q). b) ∼ (p ∧ q) ⇔ p ↓ q. c) (p ↓ q) ⇔∼ (p ∨ q). d) ∼ (p ↓ q) ⇔ p ∨ q. Ejercicio 1.6. Sabiendo que la proposici´n compuesta ∼ p [q ⇒ (∼ r∨ ∼ s)] es ver- o dadera, determine el valor de verdad de [∼ p ⇒ (∼ r ∨ q)] ∨ s. Resp. V Ejercicio 1.7. Demuestre que cada uno de los siguientes argumentos es v´lido (es decir, a que la proposici´n es una tautolog´ usando el ´lgebra de proposiciones. o ıa), a a) [(p ⇒ q) ∧ p] ⇒ q. b) [(p ⇒ q) ∧ (∼ p)] ⇒∼ p. c) [(p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r).
  • 12. 12 UNIVERSIDAD DE SANTIAGO DE CHILE, FACULTAD DE CIENCIA d) [(p ∨ q) ∧ (∼ p)] ⇒ q. e) (p ∧ q) ⇒ p, (p ∧ q) ⇒ q. f) p ⇒ (p ∨ q). Adem´s, identifique cada una de las siguientes “frases” con alguno de los argumentos a anteriores 1. Jos´ tiene un cuaderno o un l´piz , Jos´ no tiene un cuaderno, por lo tanto, Jos´ tiene e a e e un l´piz. a 2. Si Jos´ gana el concurso entonces obtendr´ una beca, Jos´ gan´ el concurso, por lo e a e o tanto, Jos´ obtendr´ la beca. e a 3. Si Jos´ gana el concurso entonces obtendr´ una beca, Jos´ no obtuvo la beca, por lo e a e tanto, Jos´ no gan´ el concurso. e o 4. Todos los monos son desordenados, luego, los monos son desordenados o son peludos. 5. Si no llueve entonces se perder´ la cosecha, si se pierde la cosecha entonces no se a podr´ cancelar la deuda entonces, si no llueve, no se podr´ cancelar la deuda. a a 6. Ning´n estudiante es ocioso y Mar´ es una excelente bailarina, luego, ning´n estu- u ıa u diante es ocioso.