Está en la página 1de 8

PROPOSICIONES Y TABLAS DE VERDAD

EQUIVALENCIAS ENTRE CUANTIFICADORES

LUZ JANIS VILLALOBOS ZAMBRANO


COD:
GRUPO:

TUTORA:
NAYIVES XILENA TRUJILLO

UNIVERSIDAD NACIONAL Y A DISTANCIA “UNAD”


PENSAMIENTO LÓGICO Y MATEMATICO
PROGRAMA DE PSICOLOGÍA
CERES CURUMANÍ (CESAR)
2019
Conceptualización
de Cuantificadores

Equivalencias entre cuantificadores.


En lógica matemática, teoría de conjuntos y
matemáticas en general,
los cuantificadores son símbolos utilizados
para indicar cuántos o qué tipo de elementos
de un conjunto dado cumplen con cierta
propiedad (por
ejemplo, pertenencia, equivalencia u orden).
El cuantificador universal se utiliza para afirmar que todos los elementos de
un conjunto cumplen con una determinada propiedad. Por ejemplo: ... Esta
afirmación suele usarse como la equivalente de la proposición siguiente: Se
define el conjunto A, como el de los elementos x de U, que cumplen P(x).

Equivalencias entre cuantificadores: Los cuantificadores introducen nuevas


equivalencias de sentencias de la lógica de predicados: ∃X [r(X) ∨ q(X)] = ∃X
r(X) ∨ ∃X q(X) ∀X [r(X) ∧ q(X)] = ∀X r(X) ∧ ∀X q(X).

Equivalencias entre cuantificadores con un predicado (una variable).

• ~ (∀x(Px)) ≡ ∃ x(~Px)
• ~ (∃x(Px)) ≡ ∀x(~Px)
• ∃x(Px) ≡ ~[∀x(~Px)]
• ~(∃x(~Px)) ≡ ∀x(Px)
Ejemplo 1

Hallar los valores de verdad de las negaciones de las proposiciones siguientes:

p : ∀ x ∈ N: x² > x
q : ∀ x ∈ Z: x + 1 > x
r : ∃ x ∈ R: x² = x

Del enunciado se tiene:

p : ∀ x ∈ N: x² > x q . ∀ x ∈ Z: x + 1 > x

~p : ~ [ ∀ x ∈ N: x² > x ] ~q . ~ [ ∀ x ∈ Z: x + 1 > x ]
~p : ∃ x ∈ N: ~( x² > x ) ~q . ∃ x ∈ Z: ~( x + 1 > x )
~p : ∃ x ∈ N: x² ≤ x ~q . ∃ x ∈ Z: x + 1 ≤ x

x = 1 ∈ N ⇒ 1² ≤ 1 x = -5 ∈ Z: -5 + 1 ≤ -5
V - 4 ≤ -5
F
r : ∃ x ∈ R: x² = x

~ r : ~ [ ∃ x ∈ R: x² = x ]
~ r : ∀ x ∈ R: ~( x² = x)
~ r : ∀ x ∈ R: x² ≠ x
x = 1 ∈ R ⇒ 1² ≠ 1
F
Respuesta: VFF

Equivalencias entre cuantificadores con dos predicados (dos variable).

• ∀x ∀y [P(x, y)] ≡ ∀y ∀x [P(x, y)]


• ∃x ∃y [P(x, y)] ≡ ∃y ∃x [P(x, y)]
• ~ {∀x ∀y [P(x, y)]} ≡ ∃x ∃y ~[P(x, y)]
• ~ {∀x ∃y [P(x, y)]} ≡ ∃x ∀y ~[P(x, y)]
• ~ {∃x ∃y [P(x, y)]} ≡ ∀x ∀y ~[P(x, y)]
EJERCICIO 2
1. Si A = { 1, 2, 3} Determinar el valor de verdad de:

i. ∃x, ∃y: x² < y +1


ii. ∀x, ∀y: x² + y² < 12
iii. ∀x, ∃y: x² + y²< 12

Del enunciado se tiene:

i. ∃x, ∃y: x² < y +1 ii. ∀x, ∀y: x² + y² < 12


x = 1; y = 2 1² < 2 +1 x = 2; y = 3 2² + 3² < 12
1<3 4 + 9 < 12
V F

iii. ∀x, ∃y: x² + y²< 12


y=1 x² + 1² < 12
x² < 11
V

Respuesta: VFV
REFERENCIAS BIBLIOGRÁFICAS

Cardona, T. S. A., Hernández, R.L.A., Jaramillo, V.S. (2010). Lógica matemática para
ingeniería de sistemas y computación. (pp. 106-112). Ediciones Elizcom, Madrid.
Recuperado de:
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docID=3
199701&tm=1529510366591

Para Citar (normas APA): Título: Cuantificadores. Sitio: Definición ABC. Fecha: 03/07/2013.
Autor: Florencia Ucha. URL: https://www.definicionabc.com/general/cuantificadores.php

http://blogmacdiss.blogspot.com/p/logica-cuantificacional.html