Documente Academic
Documente Profesional
Documente Cultură
TUTORA:
NAYIVES XILENA TRUJILLO
• ~ (∀x(Px)) ≡ ∃ x(~Px)
• ~ (∃x(Px)) ≡ ∀x(~Px)
• ∃x(Px) ≡ ~[∀x(~Px)]
• ~(∃x(~Px)) ≡ ∀x(Px)
Ejemplo 1
p : ∀ x ∈ N: x² > x
q : ∀ x ∈ Z: x + 1 > x
r : ∃ x ∈ R: x² = 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 )
~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
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