Principal Ciencias

Operador matemática y lógica

Operador matemática y lógica
Operador matemática y lógica

Vídeo: INTRODUCCIÓN A LA LÓGICA MATEMÁTICA PARTE 1 2024, Julio

Vídeo: INTRODUCCIÓN A LA LÓGICA MATEMÁTICA PARTE 1 2024, Julio
Anonim

Operador, en matemáticas, cualquier símbolo que indique una operación a realizar. Los ejemplos son la raíz cuadrada de √x (que indica que se debe tomar la raíz cuadrada) y d / dx (que indica que se debe realizar la diferenciación con respecto a x). Un operador puede considerarse como una función, transformación o mapa, en el sentido de que asocia o "mapea" elementos de un conjunto a elementos de otro conjunto. Ver también automorfismo.

Lógica formal: interdefinibilidad de los operadores

Las reglas que acaban de establecerse permitirían que la primera ley de De Morgan enumerada en la Tabla 3 transforme cualquier wff que contenga cualquier número de