Lgica de Primer Orden: Negacin de Declaraciones con Cuanticadores

Departamento de Matematicas

de Declaraciones con Cuanticadores p.1/12 Logica de Primer Orden:Negacion

Negacin de una Declaracin Universal

Denicion

La negacin de una declaracin universal de la forma x D, Q(x)

(1)

es lgicamente equivalente a la declaracin de la forma: x D, Q(x) (2) Escrito como equivalencia:

( x D, Q(x)) x D, Q(x)
(3)

de Declaraciones con Cuanticadores p.2/12 Logica de Primer Orden:Negacion

Negacin de una Declaracin Existencial

Denicion

La negacin de una declaracin exsitencial de la forma x D, Q(x) (4) es lgicamente equivalente a la declaracin de la forma: x D, Q(x) (5) Escrito como equivalencia:
( x D, Q(x)) x D, Q(x)
(6)

de Declaraciones con Cuanticadores p.3/12 Logica de Primer Orden:Negacion

Ejemplo

Indique cules opciones contienen una negacin de: Todos los alumnos de Matemticas Discretas(MD) son platicadores.

de Declaraciones con Cuanticadores p.4/12 Logica de Primer Orden:Negacion

Ejemplo

Indique cules opciones contienen una negacin de: Todos los alumnos de Matemticas Discretas(MD) son platicadores.
1. Todos los alumnos de MD no son platicadores.

de Declaraciones con Cuanticadores p.4/12 Logica de Primer Orden:Negacion

Ejemplo

Indique cules opciones contienen una negacin de: Todos los alumnos de Matemticas Discretas(MD) son platicadores.
1. Todos los alumnos de MD no son platicadores. 2. Algunos alumnos de MD no son platicadores.

de Declaraciones con Cuanticadores p.4/12 Logica de Primer Orden:Negacion

Ejemplo

Indique cules opciones contienen una negacin de: Todos los alumnos de Matemticas Discretas(MD) son platicadores.
1. Todos los alumnos de MD no son platicadores. 2. Algunos alumnos de MD no son platicadores. 3. Hay un alumno de MD que es platicador.

de Declaraciones con Cuanticadores p.4/12 Logica de Primer Orden:Negacion

Ejemplo

Indique cules opciones contienen una negacin de: Todos los alumnos de Matemticas Discretas(MD) son platicadores.
1. Todos los alumnos de MD no son platicadores. 2. Algunos alumnos de MD no son platicadores. 3. Hay un alumno de MD que es platicador. 4. Hay un alumno no platicador en la clase de MD.

de Declaraciones con Cuanticadores p.4/12 Logica de Primer Orden:Negacion

Ejemplo

Indique cules opciones contienen una negacin de: Todos los alumnos de Matemticas Discretas(MD) son platicadores.
1. Todos los alumnos de MD no son platicadores. 2. Algunos alumnos de MD no son platicadores. 3. Hay un alumno de MD que es platicador. 4. Hay un alumno no platicador en la clase de MD. 5. Algn alumno de MD no es platicador.

de Declaraciones con Cuanticadores p.4/12 Logica de Primer Orden:Negacion

Ejemplo

Indique cules opciones contienen una negacin de: Existe un alumnos de Matemticas Discretas que es platicador y no acreditar el curso.

de Declaraciones con Cuanticadores p.5/12 Logica de Primer Orden:Negacion

Ejemplo

Indique cules opciones contienen una negacin de: Existe un alumnos de Matemticas Discretas que es platicador y no acreditar el curso. 1. Todos los alumnos de Matemticas Discretas acreditarn el curso.

de Declaraciones con Cuanticadores p.5/12 Logica de Primer Orden:Negacion

Ejemplo

Indique cules opciones contienen una negacin de: Existe un alumnos de Matemticas Discretas que es platicador y no acreditar el curso. 1. Todos los alumnos de Matemticas Discretas acreditarn el curso. 2. Hay alumno de Matemticas Discretas que si es platicador entonces acreditara el curso.

de Declaraciones con Cuanticadores p.5/12 Logica de Primer Orden:Negacion

Ejemplo

Indique cules opciones contienen una negacin de: Existe un alumnos de Matemticas Discretas que es platicador y no acreditar el curso. 1. Todos los alumnos de Matemticas Discretas acreditarn el curso. 2. Hay alumno de Matemticas Discretas que si es platicador entonces acreditara el curso. 3. Todos los alumnos de Matemticas Discretas no son platicadores acreditarn el curso.

de Declaraciones con Cuanticadores p.5/12 Logica de Primer Orden:Negacion

Ejemplo

Indique cules opciones contienen una negacin de: Existe un alumnos de Matemticas Discretas que es platicador y no acreditar el curso. 1. Todos los alumnos de Matemticas Discretas acreditarn el curso. 2. Hay alumno de Matemticas Discretas que si es platicador entonces acreditara el curso. 3. Todos los alumnos de Matemticas Discretas no son platicadores acreditarn el curso. 4. Todos los alumnos de Matemticas Discretas: si platican entonces pasarn el curso.
de Declaraciones con Cuanticadores p.5/12 Logica de Primer Orden:Negacion

Ejemplo

Indique cules opciones contienen una negacin de: Cualquier programa, si tiene mas de mil lneas de cdigo tiene un bug.

de Declaraciones con Cuanticadores p.6/12 Logica de Primer Orden:Negacion

Ejemplo

Indique cules opciones contienen una negacin de: Cualquier programa, si tiene mas de mil lneas de cdigo tiene un bug. 1. Hay un programa de mas de mil lneas de cdigo.

de Declaraciones con Cuanticadores p.6/12 Logica de Primer Orden:Negacion

Ejemplo

Indique cules opciones contienen una negacin de: Cualquier programa, si tiene mas de mil lneas de cdigo tiene un bug. 1. Hay un programa de mas de mil lneas de cdigo. 2. Algn programa tiene mas de mil lneas de cdigo y no tiene bug.

de Declaraciones con Cuanticadores p.6/12 Logica de Primer Orden:Negacion

Ejemplo

Indique cules opciones contienen una negacin de: Cualquier programa, si tiene mas de mil lneas de cdigo tiene un bug. 1. Hay un programa de mas de mil lneas de cdigo. 2. Algn programa tiene mas de mil lneas de cdigo y no tiene bug. 3. Algunos programas tiene mas de mil lneas de cdigo.

de Declaraciones con Cuanticadores p.6/12 Logica de Primer Orden:Negacion

Ejemplo

Indique cules opciones contienen una negacin de: Cualquier programa, si tiene mas de mil lneas de cdigo tiene un bug. 1. Hay un programa de mas de mil lneas de cdigo. 2. Algn programa tiene mas de mil lneas de cdigo y no tiene bug. 3. Algunos programas tiene mas de mil lneas de cdigo. 4. Algunos programas de mas de mil lneas de cdigo no tiene bug.
de Declaraciones con Cuanticadores p.6/12 Logica de Primer Orden:Negacion

Ejemplo

Indique cules opciones contienen una negacin de: Cualquier programa, si tiene mas de mil lneas de cdigo tiene un bug. 1. Hay un programa de mas de mil lneas de cdigo. 2. Algn programa tiene mas de mil lneas de cdigo y no tiene bug. 3. Algunos programas tiene mas de mil lneas de cdigo. 4. Algunos programas de mas de mil lneas de cdigo no tiene bug. 5. Hay un programa que tiene mas de mil lneas de cdigo que no tien un bug.

de Declaraciones con Cuanticadores p.6/12 Logica de Primer Orden:Negacion

Pruebas por Vacuidad

En Lgica las armaciones slo pueden ser verdaderas o falsas.

de Declaraciones con Cuanticadores p.7/12 Logica de Primer Orden:Negacion

Pruebas por Vacuidad

En Lgica las armaciones slo pueden ser verdaderas o falsas. Su negacin por consiguiente solo puede ser falsa o verdadera; contrariamente a lo que es la armacin.

de Declaraciones con Cuanticadores p.7/12 Logica de Primer Orden:Negacion

Pruebas por Vacuidad

En Lgica las armaciones slo pueden ser verdaderas o falsas. Su negacin por consiguiente solo puede ser falsa o verdadera; contrariamente a lo que es la armacin. Por consiguiente, una armacin es verdadera cuando su negacin es falsa.

de Declaraciones con Cuanticadores p.7/12 Logica de Primer Orden:Negacion

Pruebas por Vacuidad

En Lgica las armaciones slo pueden ser verdaderas o falsas. Su negacin por consiguiente solo puede ser falsa o verdadera; contrariamente a lo que es la armacin. Por consiguiente, una armacin es verdadera cuando su negacin es falsa. Este hecho simple origina la prueba llamada por prueba por vacuidad:

de Declaraciones con Cuanticadores p.7/12 Logica de Primer Orden:Negacion

Pruebas por Vacuidad

En Lgica las armaciones slo pueden ser verdaderas o falsas. Su negacin por consiguiente solo puede ser falsa o verdadera; contrariamente a lo que es la armacin. Por consiguiente, una armacin es verdadera cuando su negacin es falsa. Este hecho simple origina la prueba llamada por prueba por vacuidad: Una armacin universal es verdadera si no existe ejemplo que haga verdadera su negacin.

de Declaraciones con Cuanticadores p.7/12 Logica de Primer Orden:Negacion

Pruebas por Vacuidad

En Lgica las armaciones slo pueden ser verdaderas o falsas. Su negacin por consiguiente solo puede ser falsa o verdadera; contrariamente a lo que es la armacin. Por consiguiente, una armacin es verdadera cuando su negacin es falsa. Este hecho simple origina la prueba llamada por prueba por vacuidad: Una armacin universal es verdadera si no existe ejemplo que haga verdadera su negacin.
x D, Q(x) es verdadera si x D, Q(x) es falsa. (7)

de Declaraciones con Cuanticadores p.7/12 Logica de Primer Orden:Negacion

Ejemplo

Considere los siguientes datos:

Nombre Juan Mara Toms Lalo Luis Soledad Carrera ITEC IMA IIS LATI IFI LCC Edad 21 20 23 22 21 24 Hobby Leer Msica Futbol Anime Leer Futbol

de Declaraciones con Cuanticadores p.8/12 Logica de Primer Orden:Negacion

Ejemplo

Considere los siguientes datos:

Nombre Juan Mara Toms Lalo Luis Soledad Carrera ITEC IMA IIS LATI IFI LCC Edad 21 20 23 22 21 24 Hobby Leer Msica Futbol Anime Leer Futbol Juan, Mara, Toms, Lalo, Luis, y Soledad.

Nuestro dominio consiste de las personas

de Declaraciones con Cuanticadores p.8/12 Logica de Primer Orden:Negacion

Ejemplo

Considere los siguientes datos:

Nombre Juan Mara Toms Lalo Luis Soledad Carrera ITEC IMA IIS LATI IFI LCC Edad 21 20 23 22 21 24 Hobby Leer Msica Futbol Anime Leer Futbol Juan, Mara, Toms, Lalo, Luis, y Soledad. Indique cules armaciones son verdaderas: 1. x, si x es menor de 19 aos entonces x tiene como hobby el Anime. 2. x, si x estudia Letras tiene como hobby el futbol. 3. x, si x tiene como hobby correr, entonces x estudia letras.

Nuestro dominio consiste de las personas

de Declaraciones con Cuanticadores p.8/12 Logica de Primer Orden:Negacion

Variantes de una Declaracin Universal

Denicion

Considere una declaracin de la forma:

x D, si P (x) entonces Q(x).

de Declaraciones con Cuanticadores p.9/12 Logica de Primer Orden:Negacion

Variantes de una Declaracin Universal

Denicion

Considere una declaracin de la forma:

x D, si P (x) entonces Q(x).

Su contrapositiva es la armacin:
x D, si Q(x) entonces P (x).

de Declaraciones con Cuanticadores p.9/12 Logica de Primer Orden:Negacion

Variantes de una Declaracin Universal

Denicion

Considere una declaracin de la forma:

x D, si P (x) entonces Q(x).

Su contrapositiva es la armacin:
x D, si Q(x) entonces P (x).

Su recproca es la armacin:
x D, si Q(x) entonces P (x).

de Declaraciones con Cuanticadores p.9/12 Logica de Primer Orden:Negacion

Variantes de una Declaracin Universal

Denicion

Considere una declaracin de la forma:

x D, si P (x) entonces Q(x).

Su contrapositiva es la armacin:
x D, si Q(x) entonces P (x).

Su recproca es la armacin:
x D, si Q(x) entonces P (x).

Su inversa es la armacin:
x D, si P (x) entonces q (x).
de Declaraciones con Cuanticadores p.9/12 Logica de Primer Orden:Negacion

De nuevo con suciente y necesario

En en contexto de los cuanticadores de nuevo:

de Declaraciones con Cuanticadores p.10/12 Logica de Primer Orden:Negacion

De nuevo con suciente y necesario

En en contexto de los cuanticadores de nuevo:

x D, r(x) es condicin suciente para s(x) signica:

de Declaraciones con Cuanticadores p.10/12 Logica de Primer Orden:Negacion

De nuevo con suciente y necesario

En en contexto de los cuanticadores de nuevo:

x D, r(x) es condicin suciente para s(x) signica: x D, r(x) s(x)

de Declaraciones con Cuanticadores p.10/12 Logica de Primer Orden:Negacion

De nuevo con suciente y necesario

En en contexto de los cuanticadores de nuevo:

x D, r(x) es condicin suciente para s(x) signica: x D, r(x) s(x) x D, r(x) es condicin necesaria para s(x) signica:

de Declaraciones con Cuanticadores p.10/12 Logica de Primer Orden:Negacion

De nuevo con suciente y necesario

En en contexto de los cuanticadores de nuevo:

x D, r(x) es condicin suciente para s(x) signica: x D, r(x) s(x) x D, r(x) es condicin necesaria para s(x) signica: x D, s(x) r(x)

de Declaraciones con Cuanticadores p.10/12 Logica de Primer Orden:Negacion

De nuevo con suciente y necesario

En en contexto de los cuanticadores de nuevo:

x D, r(x) es condicin suciente para s(x) signica: x D, r(x) s(x) x D, r(x) es condicin necesaria para s(x) signica: x D, s(x) r(x) x D, r(x) slo si s(x) signica:

de Declaraciones con Cuanticadores p.10/12 Logica de Primer Orden:Negacion

De nuevo con suciente y necesario

En en contexto de los cuanticadores de nuevo:

x D, r(x) es condicin suciente para s(x) signica: x D, r(x) s(x) x D, r(x) es condicin necesaria para s(x) signica: x D, s(x) r(x) x D, r(x) slo si s(x) signica: x D, r(x) s(x)

de Declaraciones con Cuanticadores p.10/12 Logica de Primer Orden:Negacion

De nuevo con suciente y necesario

En en contexto de los cuanticadores de nuevo:

x D, r(x) es condicin suciente para s(x) signica: x D, r(x) s(x) x D, r(x) es condicin necesaria para s(x) signica: x D, s(x) r(x) x D, r(x) slo si s(x) signica: x D, r(x) s(x)

De nuevo, ante la duda procurar pensar en ejemplos concretos: Tener visa, tener pasaporte.
de Declaraciones con Cuanticadores p.10/12 Logica de Primer Orden:Negacion

Ejemplo

Indique en cules casos la armacin est correctamente negada:

de Declaraciones con Cuanticadores p.11/12 Logica de Primer Orden:Negacion

Ejemplo

Indique en cules casos la armacin est correctamente negada:

1. Armacin: El producto de cualquier nmero irracional por cualquier nmero racional es irracional. Negacin: El producto de cualquier nmero irracional por cualquier nmero racional es racional.

de Declaraciones con Cuanticadores p.11/12 Logica de Primer Orden:Negacion

Ejemplo

Indique en cules casos la armacin est correctamente negada:

1. Armacin: El producto de cualquier nmero irracional por cualquier nmero racional es irracional. Negacin: El producto de cualquier nmero irracional por cualquier nmero racional es racional. 2. Armacin: Para cualquier entero n, si n2 es par n es par. Negacin: Existe un nmero entero n, tal que n2 es para y n es impar.

de Declaraciones con Cuanticadores p.11/12 Logica de Primer Orden:Negacion

Ejemplo

Indique en cules casos la armacin est correctamente negada:

1. Armacin: El producto de cualquier nmero irracional por cualquier nmero racional es irracional. Negacin: El producto de cualquier nmero irracional por cualquier nmero racional es racional. 2. Armacin: Para cualquier entero n, si n2 es par n es par. Negacin: Existe un nmero entero n, tal que n2 es para y n es impar. 3. Armacin: Existe un entero n, tal que n2 divisible por 4 y n no es dividible por 4. Negacin: Para cualquier entero n, si n2 es dividible por 4, entonces n es divisible por 4.

de Declaraciones con Cuanticadores p.11/12 Logica de Primer Orden:Negacion

Ejemplo

De acuerdo a diagrama:

a b c d e f g h i j k

Indique cules armacines negadas son verdaderas:

1. t, Circulo(t) Gris(t) 2. t, tal que Cuadrado(t) Gris(t) 3. t, tal que Cuadrado(t) DerechaDe(d, t)

de Declaraciones con Cuanticadores p.12/12 Logica de Primer Orden:Negacion