Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 28 vistas

    Clase 6 MD Cuantificadores

    Cargado por

    Esteban Suarez Adames
    El documento introduce los cuantificadores universal y existencial y cómo se usan para convertir funciones proposicionales en proposiciones. Explica que los cuantificadores cuentan el número de elementos que satisfacen una función. El cuantificador universal, denotado por ∀x, significa "para todo x" y el cuantificador existencial, denotado por ∃x, significa "existe un x". Además, presenta ejemplos de cómo usar los cuantificadores y la negación de cuantificadores.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd

    Clase 6 MD Cuantificadores

    Cargado por

    Esteban Suarez Adames
    28 vistas4 páginas
    El documento introduce los cuantificadores universal y existencial y cómo se usan para convertir funciones proposicionales en proposiciones. Explica que los cuantificadores cuentan el número de elementos que satisfacen una función. El cuantificador universal, denotado por ∀x, significa "para todo x" y el cuantificador existencial, denotado por ∃x, significa "existe un x". Además, presenta ejemplos de cómo usar los cuantificadores y la negación de cuantificadores.

    Descripción original:

    Cuantificadores, matemáticas discretas

    Título original

    Clase 6 MD cuantificadores

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento introduce los cuantificadores universal y existencial y cómo se usan para convertir funciones proposicionales en proposiciones. Explica que los cuantificadores cuentan el número de elementos que satisfacen una función. El cuantificador universal, denotado por ∀x, significa "para todo x" y el cuantificador existencial, denotado por ∃x, significa "existe un x". Además, presenta ejemplos de cómo usar los cuantificadores y la negación de cuantificadores.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    28 vistas4 páginas

    Clase 6 MD Cuantificadores

    Cargado por

    Esteban Suarez Adames
    El documento introduce los cuantificadores universal y existencial y cómo se usan para convertir funciones proposicionales en proposiciones. Explica que los cuantificadores cuentan el número de elementos que satisfacen una función. El cuantificador universal, denotado por ∀x, significa "para todo x" y el cuantificador existencial, denotado por ∃x, significa "existe un x". Además, presenta ejemplos de cómo usar los cuantificadores y la negación de cuantificadores.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 4

    Clase 6: CUANTIFICADORES

    Expresiones como:

    p(x) : X es un animal carnívoro

    q (x): X +7 = 12

    Se denominan funciones proposicionales y se denotan como p(x) , q(x),…

    Las funciones proposicionales no son consideradas proposiciones. ¿Por qué?

    Por qué no se puede determinar si son verdaderas o falsas.

    Una función proposicional se puede convertir en proposición de dos formas:

    1. Dándole un valor a la variable x:

    “El perro es un animal carnívoro”


    2 + 7 = 12

    2. Utilizando Cuantificadores
    Un cuantificador es una expresión que Cuantifica (cuenta número de elementos)

    En lógica proposicional, existen dos cuantificadores:

    La expresión “Para todo x” , denotada: ∀ x, se denomina Cuantificador Universal:

    Todos los animales son Carnívoros

    ∀ x : x +7=12

    La expresión “Existe un x” , denotada: ∃x , se denomina Cuantificador Existencial:

    Existe algún animal que es carnívoro

    ∃x : x +7=12

    Los cuantificadores transforman en proposiciones las funciones proposicionales.

    Actividad en clase
    Determinar en las siguientes proposiciones si expresa un cuantificador Universal o Existencial:

    Algunos hombres son Inteligentes. ∃x . :

    Negación: Todos los hombres no son inteligentes

    Ningún hombre es inteligente

    Todos los números naturales son enteros ∀ x :

    Negación: Algunos números naturales no son enteros

    Existe un animal que es mamífero. ∃x . :

    Negación: Todos los animales no son mamíferos

    Ningún animal es mamífero

    Ningún ser humano respira ∀ x :

    Negación: Algún ser humano respira

    Existe un ser humano que respira

    No todos los enteros son primos ∃x . :

    Negación: Todos los enteros son primos

    Algún país es subdesarrollado ∃x . :

    Negación: Todos los países no son subdesarrollados

    Todos los países son desarrollados

    Hay un racional que es entero ∃x . :

    Negación: Todos los racionales no son enteros

    Ningún racional es entero

    Cualquier entero al cuadrado es positivo ∀ x :

    Negación: Existe un entero al cuadrado que no es positivo


    Nadie puede respirar en la luna ∀ x :

    Negación: Hay alguien que respira en la luna

    Existe alguien que respira en la luna

    Ninguno de los números primos es natural ∀ x :

    Negación: Hay un número primo natural

    NEGACIÓN DE LOS CUANTIFICADORES

    [ ∀ X p ( x ) ]=∃x p(x)

    [ ∃X p ( x ) ]=∀ x p(x)

    Ejemplo:
    1. Negar las siguientes proposiciones ( x ∈ Z ) y establecer su valor de verdad

    ∀ x : x +7=12 (F)
    Negación: ∃x : x +7 ≠ 12 (V) X=4

    ∃x : x =x+1 (F)
    Negación: ∀ x : x ≠ x +1 ( V)

    ∀ x : x−x=0 (V)
    Negación: ∃x : x −x ≠ 0 (F)

    ∃x : x +2 x> 3 x (F)
    Negación: ∀ x : x +2 x ≤3 x (V)

    ∃x : 5 x +1=10 (F)
    Negación: ∀ x :5 x+1 ≠ 10(V)

    2. Negar las proposiciones de la actividad en clase


    CONJUNTOS NÚMERICOS

    N= { 0,1,2,3 ,… }: Naturales
    Z={ … ,−5 ,−4 ,−3 ,−2 ,−1,0,1,2,3,4,5 , … }: Enteros

    Q= {ab : a , b ϵ Z , b ≠ 0} Racionales

    Q (Racionales) U I(irracionales)

    R=QU I

    x 2+ 1=0

    2
    8
    4

    También podría gustarte