Fundamentos de Lógica Cuantificacional: Cuantificadores, Dominios y Negación de Proposiciones
Enviado por Programa Chuletas y clasificado en Matemáticas
Escrito el en
español con un tamaño de 8,41 KB
Fundamentos de Lógica Cuantificacional
1. Cuantificadores Lógicos
A la expresión “hay (al menos) un X (variable) tal que…” la abreviaremos ∃x, y la llamaremos cuantificador existencial.
A la expresión “para todo α [se cumple que… se tiene que…]” o “cualquier α [es tal que… cumple con… satisface…]” o “todo α [es tal que... cumple con... satisface...]” la abreviaremos ∀α, y la llamaremos cuantificador universal.
2. Dominio de una Variable
Definición
Si R es una variable, al conjunto de cuyos elementos designa (en forma indeterminada) la variable R, lo llamaremos dominio de la variable R, y lo abreviaremos DOM(R).
Ejemplo
DOM(x) = ℝ; significa que la variable “x” puede ser sustituida por (y además denotar)... Continuar leyendo "Fundamentos de Lógica Cuantificacional: Cuantificadores, Dominios y Negación de Proposiciones" »