Clase 5 Cuantificadores(ii)

  • August 2019
  • PDF

This document was uploaded by user and they confirmed that they have the permission to share it. If you are author or own the copyright of this book, please report to us by using this DMCA report form. Report DMCA


Overview

Download & View Clase 5 Cuantificadores(ii) as PDF for free.

More details

  • Words: 377
  • Pages: 2
CUANTIFICADORES Los cuantificadores nos permiten construir proposiciones a partir de funciones proposicionales ya sea particularizando o generalizando. Ejemplifiquemos esto. Si consideramos la función proposicional P(x) : x es mayor que 0, podemos particularizar esto diciendo: Existe un número real que es mayor que 0, o generalizarlo diciendo Todos los números reales son mayores que 0. Notemos que tanto en la particularización como en la generalización se especifica un conjunto en donde toma valores la variable, en este ejemplo el conjunto son los números reales. Existe una notación especifica para la particularización y la generalización: ∃x ∈ R | x > 0, que se lee existe un x ∈ R tal que x es mayor que 0; mientras que ∀x ∈ R, x > 0 se lee para todo x ∈ R se cumple que x es mayor que 0. El símbolo ∀ se llama cuantificador universal y el símbolo ∃ es el cuantificador existencial Como ya lo hemos afirmado, un cuantificador transforma una función proposicional en una proposición, a la cual se le asigna un valor de verdad. 1 Cuantificador Universal ( ∀ ) Si p(x) es una función proposicional con extensión A = U, entonces se tiene que : para cada x ∈ U se cumple la condición p(x). Este hecho lo simbolizaremos por: ( ∀x ∈ U) p(x),

o bien

∀x ∈ U : p(x)

2 Cuantificador Existencial ( ∃ ) Si p(x) es una función proposicional con extensión A ≠∅, entonces se tiene que existe por lo menos un x ∈ U para el cual se cumple la condición p(x). Este hecho lo simbolizamos por:

( ∃x ∈ U) p(x),

o bien ∃x ∈ U : p(x)

Negación de proposiciones con cuantificadores Sea p(x) una función proposicional con extensión A, entonces:

¬(∀x ∈ A)p(x) ≡ (∃ x ∈ A) ¬ p(x) ¬(∃x ∈ A)p(x) ≡ (∀ x ∈ A) ¬ p(x)

Ejemplos 1) Sea A = {1, 2, 3, 4, 5}.Determine el valor de verdad de cada uno de los enunciados siguientes a) (∃x ∈ A)(x+3 =10) Sol: Es falso porque ningún número de A es una solución de x + 3 = 10 b) (∀x ∈ A)(x+3 < 10) sol: Es Verdadero. Cualquier número de A cumple que x + 3 < 10

Related Documents

Clase 5
November 2019 27
Clase 5
May 2020 7
Clase 5
June 2020 7
Clase-5
June 2020 11
Clase 5
November 2019 25
Clase#5
November 2019 16