Академический Документы
Профессиональный Документы
Культура Документы
a) (∃𝑥 ∈ 𝐴: 𝑥 + 3 = 10)
Si probamos con todos los elementos del discurso universal o dominio tenemos lo siguiente:
1 + 3 ≠ 10
2 + 3 ≠ 10
3 + 3 ≠ 10
4 + 3 ≠ 10
5 + 3 ≠ 10
Recordemos que el cuantificador existencial es verdadero tan solo para un elemento del dominio,
pero observamos que no se cumple, por lo tanto valor de verdad es FALSO.
Si probamos con todos los elementos del discurso universal o dominio tenemos lo siguiente:
1 + 3 < 10
2 + 3 < 10
3 + 3 < 10
4 + 3 < 10
5 + 3 < 10
Recordemos que el cuantificador universal es verdadero para todos los elementos del dominio, pero
observamos que se cumple, por lo tanto valor de verdad es VERDADERO.
c) (∀𝑥 ∈ 𝐴: 𝑥 + 3 ≤ 4)
Si probamos con todos los elementos del discurso universal o dominio tenemos lo siguiente:
1+3≤4
2+3≤4
3+3≤4
4+3≤4
5+3≤4
MATEMATICAS DISCRETA
DOCENTE: JOSE EMANUEL CASTELLANOS
Al observar los resultados anteriores, nos percatamos que solo en el primer caso es cierto, pero
como tenemos un cuantificador universal debe cumplirse con todos los elementos del dominio,
razón por lo cual su valor de verdad es FALSO.
d) (∃𝑥 ∈ 𝐴: 𝑥 + 3 ≤ 4)
Si probamos con todos los elementos del discurso universal o dominio tenemos lo siguiente:
1+3≤4
2+3≤4
3+3≤4
4+3≤4
5+3≤4
Como existe un elemento del dominio que hace cierta la proposición su valor de verdad es
VERDADERO ya que se utilizo un cuantificador existencial.
e) (∀𝑥 ∈ 𝐴: 𝑥 + 3 = 5)
Si probamos con todos los elementos del discurso universal o dominio tenemos lo siguiente:
1+3≠5
2+3=5
3+3≠5
4+3≠5
5+3≠5
Como estamos con un cuantificador universal podemos concluir que su valor de verdad es FALSO.
Ahora por otro lado, para hacer demostraciones con cuantificadores en muchas ocasiones
necesitaremos la negación de los cuantificadores universal o existencial.
a) {∃𝑥: 𝑥 + 3 = 10}
p: ~{∀x ∈ Q: x + 2 > 0}
q: {∃x ∈ N: 3x = 9}
x
r: {∀x ∈ Z: = 1}
x
Solución:
p: ~{∀x ∈ Q: x + 2 > 0}
p: ∃x ∈ Q: x + 2 ≤ 0
Probando para 𝑥 = −2
q: {∃x ∈ N: 3x = 9}
Probando para 𝑥 = 2
x
r: {∀x ∈ Z: = 1}
x
Probando para 𝑥 = 0
x
= 1 El valor de verdad es FALSO.
x
p=V
q=V
r=F
Como sabemos que en una conjunción 𝐕 ∧ 𝐕 = 𝐕 entonces 𝐩 ∧ 𝐪 = 𝐕. Por otro lado tendríamos
que (𝐩 ∧ 𝐪) → 𝐫 seria falso ya que r =Falso y en una condicional sabemos que (𝐩 ∧ 𝐪) → 𝐫 seria
falso. Por tanto la respuesta es Falsa.