LÓGICA MATEMÁTICA

Vids yindrey Ortiz zapata

Primer semestre
 EQUIVALENCIAS ENTRE CUANTIFICADORES.
 

Son proposiciones que son la similitud de entre cuantificadores entre universales o

existenciales que pueden ser afirmativas como negativas se sabe que la verdad de
una de ellas se sigue la falsedad de su contradictoria si se niega cualquiera de
ellas se obtiene una equivalencia cuando se intercambia cuantificadores y
también se cambia el cuantificador y su signos
 Proposiciones formula Fórmula
se sabe que la verdad de equivalente
una de ellas se sigue la
falsedad de contradictoria Para todo x es ∀xP(x) ˜∃x˜p(x)
si se niega cualquiera de
ellas se obtienen una Ningún x es ∀x ˜p(x) ˜∃xp(x)
equivalencia
Verdadera falsedad verdadera Algún x es ∃x p(x) ˜∀x˜p(x)
Verdadera verdadera

Algún x no es ∃x ˜ p(x) ˜∀xp(x)

 EJEMPLOS

• Todos son hombres equivale a decir es falso que algunos no sean hombres
• Ninguno es hombre equivale a decir es falso que algunos sean hombres
• Algunos son hombres equivale a decir es falso que ninguno sea hombre
• Algunos nos son hombres equivale a decir es falso que todos sean hombres