Informe Básica

UNIVERSIDAD NACIONAL DE
CAJAMARCA
FACULTA DE INGENIERÍA
ESCUELA ACADEMICO PROFESIONAL DE
INGENIERÍA HIDRÁULICA
LÓGICA
CURSO: Matemática Básica
DOCENTE: Ebert Rojas Huamán
CICLO: 2017-I
ALUMNO:

Cajamarca, Julio del 2017

ÍNDICE
I. RESUMEN............................................................................. 2
II. INTRODUCCIÓN ................................................................. 3
III. MARCO TEÓRICO ............................................................ 4
 LÓGICA .............................................................................. 4
 El pensamiento .................................................................... 4
 TIPOS DE LÓGICA ............................................................ 4
C.1. LOGICA NATURAL ..................................................... 5
C.2. LOGICA CIENTIFICA .................................................. 5
C.3. LOGICA FORMAL ........................................................ 6
C.4 LOGICA MATERIAL ..................................................... 7
C.5 LOGICA MATEMÁTICA .............................................. 7
 Siglo XIX .......................................................................... 8
 Siglo XX ........................................................................... 8
C.6 LOGICA DIALECTICA ............................................... 11
C.7 LOGICA DIFUSA ......................................................... 13
INGENIERÍA HIDRAÚLICA MATEMÁTICA BÁSICA 1

I. RESUMEN
El presente trabajo esta elaborado con el propósito de ampliar y profundizar las
formaciones de los estudiantes y maestro en los contenidos lógicos, matemáticos, así
como los tipos de lógico de aplica el aprendizaje, ya que el desarrollo lógico es el
futuro más temprano, más seguro de la mentalidad humana, es por ello la importancia
que requiere la reflexión, el estudio y el análisis de este tema
Trataremos acerca de la lógica natural que es definida como la que se establece en

base a la experiencia previa o también definida como el Conjunto de reglas o
esquemas lógicos que, según algunos autores, poseen los seres humanos como parte
de su conocimiento y que aplican en la resolución de los problemas de razonamiento.
La lógica difusa, ha sido probada para ser particularmente útil en sistemas expertos y otras
aplicaciones de inteligencia artificial. Es también utilizada en algunos correctores de voz
para sugerir una lista de probables palabras a reemplazar en una mal dicha. La Lógica
Difusa, que hoy en día se encuentra en constante evolución, nació en los años 60 como la
lógica del razonamiento aproximado, y en ese sentido podía considerarse una extensión
de la Lógica Multivaluada. La Lógica Difusa actualmente está relacionada y
fundamentada en la teoría de los Conjuntos Difusos

II. INTRODUCCIÓN
La lógica es la disciplina que se ocupa de los métodos de racionamiento suministrando

reglas y técnicas que nos permitirán decidir si una argumentación, una deducción es
correcta o no. Es la base de todo razonamiento matemático y tiene numerosas aplicaciones
en las ciencias de la comunicación (construcción, escritura y verificación de programas,
diseño de circuitos de ordenador, entre otros). En las ciencias física y naturales, en las
ciencias sociales y la vida diaria.
En presente trabajo trata acerca de la lógica, de cómo ha ido interviniendo y formando

con el pasar de los años relacionándose con la vida diaria, especialmente de los tipos de
lógica quien también han intervenido en el pensamiento del hombre, a través de la
filosofía. Así pues, tenemos a la lógica matemática, difusa, dialéctica, científica, formal
y naturales, explicaremos con detenimiento a continuación

III. MARCO TEÓRICO
 LÓGICA
La lógica es una ciencia formal y una rama de la Filosofía que estudia los principios de
la demostración e inferencia válida. La lógica examina la validez de los argumentos en
términos de su estructura, (estructura lógica), independientemente del contenido
específico del discurso y de la lengua utilizada en su expresión y de los estados reales a
los que dicho contenido se pueda referir. Esto es exactamente lo que quiere decir que la
lógica es una ciencia formal.
 El pensamiento
Es el proceso mediante el cual, el hombre capta la realidad, partiendo de sus sentidos,
hasta obtener una percepción clara de los fenómenos al conformar una imagen de estos.
La imagen se crea a partir del ordenamiento de la sensación al captar la realidad. Este
proceso se puede denominar el despertar del pensamiento. De aquí en adelante se
relacionarán las imágenes, conformando las primeras ideas de las cosas o fenómenos.
Factores del proceso del pensar
Un sujeto pensante que produce pensamiento.
Un objeto al que se refiere el pensamiento y que determina su contenido.
La forma como es expresado el pensamiento.
Acepciones del término "lógica"
Ciencia argumentativa y propedéutica
 TIPOS DE LÓGICA

C.1. LOGICA NATURAL
1. DEFINICIÓN
La lógica natural es la que se establece en base a la experiencia previa o también definida
como el Conjunto de reglas o esquemas lógicos que, según algunos autores, poseen los
seres humanos como parte de su conocimiento y que aplican en la resolución de los
problemas de razonamiento.
La lógica natural sería, así, semejante —y se correspondería en parte— a la lógica formal,
tal y como ha sido descrita y desarrolla por los lógicos, ya desde Aristóteles.
La lógica natural es una aptitud para razonar que todo hombre posee en mayor o menor
grado.
2. CARACTERÍSTICAS:
 No se necesita estudiar para pensar.
 Se le denomina sentido común.
 Es suficiente para la vida cotidiana.
3. EJEMPLO:
 Si siempre que llueve hay nubes grises y hay "olor a lluvia" la lógica es que salgas
con paraguas.
 Los teoremas, son cuestiones abstractas donde por ejemplo se hipotetiza que la
suma de los catetos en un triángulo rectángulo es igual al cuadrado de la
hipotenusa, se hace un desarrollo donde se mide el triángulo rectángulo, del que
se tiene solo la medida de los catetos, y se confirma la hipótesis, que en este caso
es igual a la tesis.
C.2. LOGICA CIENTIFICA

1. CONCEPTO:
La lógica científica se establece mediante leyes que conforma el método científico, que
son:
 La hipótesis,
 Desarrollo de la investigación y la tesis, que confirma o niega la tesis.
2. EJEMPLOS
 Mediante el método científico puedes establecer una hipótesis de que, si a una raíz
la sumerges en tinta de color azul, sus flores tendrán una coloración azulada.
COMPROBACION

o Bueno, habrá un tiempo de desarrollo de la hipótesis, donde se establece el
registro de todas las acciones, y luego cuando aparecen las flores se
confirman o no la hipótesis.
 Se hipotetiza que la suma de los catetos en un triángulo rectángulo es igual al

cuadrado de la hipotenusa.
COMPROBACION
o Se hace un desarrollo donde se mide el triángulo rectángulo, del que se tiene
solo la medida de los catetos, y se confirma la hipótesis, que en este caso es
igual a la tesis.
C.3. LOGICA FORMAL

También llamada lógica pura, que es la lógica propiamente dicha, es la rama del
conocimiento filosófico dirigida a determinar cuáles son las formas correctas y válidas de
los raciocinios; considerándolos en sí mismos con prescindencia de sus contenidos
concretos, de tal manera que las leyes a aplicar tengan validez para cualquier contenido
concreto. Véase Lógica, concepto.
La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica
al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas
deductivos y semánticas formales. La idea es que estas construcciones capturen las
características esenciales de las inferencias válidas en los lenguajes naturales, pero que,
al ser estructuras formales y susceptibles de análisis matemático, permiten realizar
demostraciones rigurosas sobre ellas.
La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica
simbólica, que es una subdisciplina de la lógica formal.
Se acostumbra a definir la lógica formal como aquella ciencia que estudia los
razonamientos desde el punto del análisis formal, es decir, desde el punto de vista de su
validez o no validez. Esto significa que se desentiende del contenido empírico de los
razonamientos para sólo considerar la "forma" (estructura sin materia). Dado el siguiente
silogismo: Los insectos son artrópodos; los dípteros son insectos; por tanto, los dípteros
son artrópodos; al lógico sólo le interesa su validez o corrección (que es formal) expresada
en la estructura vacía de contenido Todo A es B; todo C es A; por tanto, todo C es B. El
que los dípteros sean o no sean artrópodos es una cuestión empírica que interesará en
cualquier caso al zoólogo, pero de ninguna manera al lógico.
El fundador de la lógica formal fue Aristóteles. Esta disciplina se fue perfeccionando
con la introducción, a lo largo del siglo XIX y XX, de todo un potente formalismo
matemático (Jorge Boole, Gottlob Frege, Beltrán Russell, etc.).

Resulta ya un lugar común equiparar la lógica formal a la lógica matemática, por lo que
actualmente constituyen expresiones prácticamente sinónimas. El materialismo
formalista rectifica este planteamiento sosteniendo la imposibilidad de una ciencia "no
material
La lógica formal posee referenciales fiscalistas y es tan material como cualquier otra
disciplina científica, ya que toda ciencia es material. Por otra parte, no resulta aceptable
la existencia de formas puras hipostasiadas exentas de contenidos materiales
C.4 LOGICA MATERIAL

1. CONCEPTO
Es la que da las características para llegar a pensamientos VERDADEROS. Cuando el
objetivo de estudio son los contenidos materiales del pensamiento, se tiene a la lógica
material. También llamada lógica aplicada, es aquella en que un proceso de raciocinio o
de pensamiento se analiza en consideración al contenido real de sus premisas. En general
este tipo de lógica tiene que ser concordante con la realidad.
Por otro lado, este tipo de lógica tiene un cierto parecido con la lógica formal, pero a la
ves tratan con problemas diferentes pero relacionados.
2.DIFERENCIAS ENTRE LA LOGICA FORMAL Y MATERIAL

EJEMPLOS:
 La vaca es un rumiante, la vaca tiene cuatro patas por tanto los rumiantes son
cuadrúpedos.
 El pensamiento: Octavio paz recibió el premio nobel de literatura, es un juicio en

concordancia con lo que sucedió de echo por tanto es verdadero
C.5 LOGICA MATEMÁTICA

1. Historia
El uso más temprano de matemáticas y de geometría en relación con la lógica y la filosofía

se remonta a los griegos antiguos tales como Euclides, Platón, y Aristóteles. Muchos otros

filósofos antiguos y medievales aplicaron ideas y métodos matemáticos a sus
afirmaciones filosóficas.
 Siglo XIX
A partir de la segunda mitad del siglo XIX, la lógica sería revolucionada profundamente.
En 1847, George Boole publicó un breve tratado titulado El análisis matemático de la
lógica, y en 1854 otro más importante titulado Las leyes del pensamiento. La idea de
Boole fue construir a la lógica como un cálculo en el que los valores de verdad se
representan mediante el F (falsedad) y la V (verdad), y a los que se les aplican operaciones
matemáticas como la suma y la multiplicación.
En el último tercio del siglo XIX la lógica va a encontrar su transformación más profunda
de la mano de las investigaciones matemáticas y lógicas, junto con el desarrollo de la
investigación de las estructuras profundas del lenguaje, la lingüística, convirtiéndose
definitivamente en una ciencia formal. Es una ciencia formal, ya que estudia las ideas y
constituye una herramienta conceptual para todas las otras ciencias y áreas del
conocimiento. Y forma parte de un conjunto sistemático de conocimientos racionales y
coherentes, que se ocupan del estudio de los procesos lógicos y matemáticos.
 Siglo XX
El siglo XX sería uno de enormes desarrollos en lógica. A partir del siglo XX, la lógica
pasó a estudiarse por su interés intrínseco, y no sólo por sus virtudes como propedéutica,
por lo que se estudió a niveles mucho más abstractos.
En 1912 C. I. Lewis publica Conditionals and the Algebra of Logic, justo después de los
Principia Mathematica de Russell y Whitehead. En 1918 publica A Survey of Symbolic
Logic en donde propone un nuevo condicional más adecuado para recoger el significado
de la expresión "si... entonces" del lenguaje natural. Lewis lo llama implicación estricta.
El nuevo condicional requiere, para ser verdadero, una relación más fuerte entre el
antecedente y el consecuente que el condicional clásico.
En 1920 David Hilbert propuso de forma explícita un proyecto de investigación (en

metamatemática, como se llamó entonces) que acabó siendo conocido como programa de
Hilbert. Quería que la matemática fuese formulada sobre unas bases sólidas y
completamente lógicas.
2. Definición
La lógica matemática estudia los sistemas formales en relación con el modo en el que
codifican conceptos intuitivos de objetos matemáticos como conjuntos, números,
demostraciones y computación. La lógica estudia las reglas de deducción formales, las
capacidades expresivas de los diferentes lenguajes formales y las propiedades
mitológicas de los mismos.

En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no
válido un argumento dado dentro de un determinado sistema formal. En un nivel
avanzado, la lógica matemática se ocupa de la posibilidad de axiomatizar las teorías
matemáticas, de clasificar su capacidad expresiva, y desarrollar métodos computacionales
útiles en sistemas formales. La teoría de la demostración y la matemática inversa son dos
de los razonamientos más recientes de la lógica matemática abstracta. Debe señalarse que
la lógica matemática se ocupa de sistemas formales que pueden no ser equivalentes en
todos sus aspectos, por lo que la lógica matemática no es método de descubrir verdades
del mundo físico real, sino sólo una fuente posible de modelos lógicos aplicables a teorías
científicas, muy especialmente a la matemática convencional.
3. Sistemas Lógicos
La lógica matemática se interesa por tres tipos de aspectos de los sistemas lógicos:
 La sintaxis de los lenguajes formales, es decir, las reglas de formación de

símbolos interpretables construidos a partir de un determinado alfabeto, y las
reglas de inferencia. En concreto el conjunto de teoremas deducibles de un
conjunto de axiomas.
 La semántica de los lenguajes formales, es decir, los significados atribuibles a un

conjunto de signos, así como el valor de verdad atribuible a algunas de las
proposiciones. En general las expresiones de un sistema formal interpretadas en
un modelo son ciertas o falsas, por lo que un conjunto de proposiciones que admite
un modelo es siempre consistente.
 Los aspectos metalógicos de los lenguajes formales, como por ejemplo la

completitud semántica, la consistencia, la compacidad o la existencia de modelos
de cierto tipo, entre otros.
4. Clasificación.
4.1 Lógica proposicional (Lógica de orden cero): En ella existe símbolos

para variables proposicionales (que pueden ser interpretados informalmente como
enunciados que pueden ser ciertos o falsos) además de símbolos para diversas
conectivas. Estas conectivas permiten formar expresiones complejas a partir de
variables proposicionales simples. Un sistema lógico puede incluir diversos tipos de
conectivas, entre ellos, la lógica clásica suele hacer uso de los siguientes:
¬ se lee “no”
∧ se lee “y”
∨ se lee “o”
→ se lee “…implica…” o “si…entonces…,”
↔ se lee “…equivalente con…” o "…si, sólo sí…"

Dentro de la lógica proposicional pueden distinguirse varios tipos, por ejemplo
restringiendo las posibilidades de interpretación semántica se obtiene la lógica
intuicionista y ampliando la complejidad de las interpretaciones semánticas se
obtienen las lógicas modales.
Negación no No está lloviendo.
Conjunción y Está lloviendo y está nublado.
Disyunción o Está lloviendo o está soleado.
Condicional material si... entonces Si está soleado, entonces es de día.
Bicondicional si y sólo si Está nublado si y sólo si hay nubes visibles.
Disyunción opuesta ni... ni Ni está soleado ni está nublado.
Disyunción exclusiva o bien... o bien O bien está soleado, o bien está nublado.
4.2 Lógica de predicados: Esta no incluye símbolos para variables proposicionales

sino que las proposiciones más elementales son predicados atómicos formados
a partir de variables interpretables como objetos singulares, relaciones (entre
estas frecuentemente se usan = , <, >, etc.), funciones matemáticas. Además
símbolos para representar variables, relaciones y funciones este tipo de lógicas
incluyen cuantificadores. Dentro de la lógica de predicados se pueden distinguir
ciertos tipos:
o Lógica de primer orden que usualmente es fintaría (sólo se admiten

proposiciones formadas mediante un número finito de pasos) aunque
también existen lógicas infinitarias.
o Lógica de segundo orden que a su vez pueden ser de diferentes

subtipos.
5. Áreas
 Filosófica y crítica
 Lógica general (que incluye campos como la lógica modal y la lógica borrosa)
 Teoría de modelos
 Teoría de la computabilidad
 Teoría de conjuntos
 Teoría de la demostración y matemática constructiva algebraica
 Modelos no estándar

En algunos casos hay conjunción de intereses con la Informática teórica, pues muchos
pioneros de la informática, como Alan Turing, fueron matemáticos y lógicos. Así, el
estudio de la semántica de los lenguajes de programación procede de la teoría de modelos,
así como también la verificación de programas, y el caso particular de la técnica del model
checking. También el isomorfismo de Churry-Howard entre pruebas y programas se
corresponde con la teoría de pruebas, donde la lógica intuicionista y la lógica lineal son
especialmente significativas.
Algunos sistemas lógicos como el cálculo lambda, y la lógica combinatoria entre otras
han devenido, incluso, auténticos lenguajes de programación, creando nuevos paradigmas
como son la programación funcional y la programación lógica.
C.6 LOGICA DIALECTICA

1. Definición:
La palabra dialéctica viene del verbo dialegomai que significa dialogar; dicho de
otra manera, tiene que ver con la conversación o con el acto de dialogar. Se puede
traducir también por diálogo, conversación, polémica, arte del diálogo y la
discusión. Por tanto, la dialéctica es la lógica del movimiento, del cambio de los
conceptos y categorías fluyentes, que reflejan del modo más adecuado el mundo
objetivo. A partir de Friedrich Hegel se habla de dialéctica para denotar una actitud
de pensamiento contrario al mecanicismo, guiado por nociones como las de
totalidad, acción recíproca, desarrollo, entre otras. Hegel es conocido como el padre
de la lógica dialéctica. (Paulino, 2005)
2. Lógica dialéctica
La lógica dialéctica no es otra cosa sino la historia y el proceso del conocimiento en su

elaboración lógica, La lógica dialéctica se debe a la creación de Hegel, aunque muchos
de sus pensamientos y de sus conclusiones fueron planteados en la Grecia Antigua por
Heráclito de Éfeso y Aristóteles. Lógica dialéctica ubica la atención en el hallazgo de las
fuentes de desarrollo, en la inteligencia de que este responde a la contradicción
dialécticamente interpretada.
La Lógica Dialéctica va más allá de las aparentes contradicciones, buscando así la unidad
superior, o lo que llamamos “la superación”. Dicho de otra forma: el principio
fundamental de la Lógica Dialéctica es el “principio de unidad de las contradicciones”.
Por ser dicha contradicción síntoma de la realidad “en devenir”, es Dialéctica y no formal.
“No hay nada en el universo que no sea un estado intermedio entre el ser y la nada”, dice
Hegel. La lógica dialéctica tiene sus debilidades también. No es ajena a llevar ilusiones,
mentiras e ideologías, entre otras cosas. Por eso la verdad absoluta de la realidad se le
escapa. Corre el riesgo además de tornarse un tanto dando lugar, así, al desarrollo
progresivo de la Naturaleza, de la sociedad humana y del pensamiento. Un desarrollo que
se dirige hacia formas más completas, más perfectas, más integradoras, de la realidad.
En la base del sistema de la dialéctica materialista que se desenvuelve históricamente,
debe ser colocada una categoría que no necesite de premisa alguna y que ella misma
constituya la premisa de partida para la investigación de las categorías restantes. Así es

la categoría de materia. A ella le siguen las formas fundamentales de existencia de la
materia: MOVIMIENTO, ESPACIO Y TIEMPO. Los diversos estados de la materia se
conocen sólo a través del movimiento. sofística
(Paulino, 2005)
3. Las leyes de la dialéctica
El materialismo dialéctico propone, pues, una interpretación de la realidad concebida
como un proceso material en el que se suceden una variedad infinita de fenómenos, a
partir de otros anteriormente existentes. Esta sucesión, no obstante, no se produce al azar
o arbitrariamente, ni se encamina hacia la nada o el absurdo: todo el proceso está regulado
por leyes que determinan su evolución desde las formas más simples a las más complejas,
y que afectan a toda la realidad, natural y humana (histórica). (Wikipedía, 2008)
3.1 Ley de la unidad y lucha de contrarios

Siguiendo los pasos de Heráclito y Hegel, Marx y Engels consideran que la realidad es
esencialmente contradictoria. Todos los fenómenos que ocurren en la Naturaleza son el
resultado de la lucha de elementos contrarios, que se hallan unidos en el mismo ser o
fenómeno, siendo la causa de todo movimiento y cambio en la Naturaleza, en la sociedad
y en el pensamiento. Con esta ley se explica, pues, el origen del movimiento.
Entre los argumentos que se aportan para justificar esta explicación predominan los
procedentes de las ciencias (Física, Ciencias naturales, Matemáticas, Economía), pero
también de la Historia y de la filosofía. Entre las parejas de contrarios puestas como
ejemplos podemos citar: atracción y repulsión, movimiento y reposo, propiedades
corpusculares y ondulatorias, herencia y adaptación, excitación e inhibición, lucha de
clases, materia y forma, cantidad y cualidad, sustancia y accidentes. (Wikipedía, 2008)
3.2 Ley de transición de la cantidad a la cualidad
Hablamos de cambio cualitativo cuando una cosa se transforma en otra que es

esencialmente distinta. ¿Por qué unas cosas se transforman en otras que tienen
propiedades diferentes a las de las cosas de las que proceden? Según la ley de transición
de la cantidad a la cualidad, el aumento o disminución de la cantidad de materia influye
en la transformación de una cosa en otra distinta. La acumulación o disminución de la
materia es progresiva, mientras que el cambio de cualidad supone una modificación
radical de la cosa, una revolución. Con esta ley se explica el desarrollo de los seres y los
fenómenos naturales, sociales, etc.
Todos los objetos de la Naturaleza poseen características mensurables, por lo que su
esencia, su cualidad, es inseparable de los aspectos cuantitativos. Cuando una cosa pasa
de poseer una cualidad a poseer otra hablamos de "salto cualitativo". Como todo
movimiento es el resultado de la lucha de elementos contrarios, el salto cualitativo supone
la resolución de una contradicción, que da lugar a una nueva realidad, que representa un
avance en el desarrollo de la Naturaleza. El salto cualitativo no supone el mero cambio

de una cualidad por otra, sino por otra que supera, de alguna manera, a la anterior.
(Wikipedía, 2008)
3.3 Ley de negación de la negación

La ley de negación de la negación completa la anterior, explicando el modo en que se
resuelve la contradicción, dando paso a una realidad nueva que contiene los aspectos
positivos de lo negado. El primer momento del movimiento dialéctico, el de la afirmación,
supone la mera existencia de una realidad; el segundo momento, el de la negación, supone
la acción del elemento contrario que, en oposición con el primer momento, lo niega. El
tercer momento, negando al segundo, que era ya, a su vez, la negación del primero, se
presenta como el momento de la reconciliación, de la síntesis, recogiendo lo positivo de
los dos momentos anteriores.
Una vez alcanzado este estadio del movimiento nos encontramos ante una nueva realidad
que entrará de nuevo en otro ciclo de transformación dialéctica, dando lugar, así, al
desarrollo progresivo de la Naturaleza, de la sociedad humana y del pensamiento. Un
desarrollo que se dirige hacia formas más completas, más perfectas, más integradoras, de
la realidad. (Wikipedía, 2008)
C.7 LOGICA DIFUSA

1. Historia:
Los conjuntos difusos fueron introducidos por primera vez en 1965; la creciente disciplina
de la lógica difusa provee por sí misma un medio para acoplar estas tareas. En cierto nivel,
la lógica difusa puede ser vista como un lenguaje que permite trasladar sentencias
sofisticadas en lenguaje natural a un lenguaje matemático formal. Mientras la motivación
original fue ayudar a manejar aspectos imprecisos del mundo real, la práctica temprana
de la lógica difusa permitió el desarrollo de aplicaciones prácticas. Aparecieron
numerosas publicaciones que presentaban los fundamentos básicos con aplicaciones
potenciales. Esta frase marcó una fuerte necesidad de distinguir la lógica difusa de la
teoría de probabilidad. Tal como la entendemos ahora, la teoría de conjuntos difusos y la
teoría de probabilidad tienen diferentes tipos de incertidumbre.
En 1994, la teoría de la lógica difusa se encontraba en la cumbre, pero esta idea no es

nueva, para muchos, estuvo bajo el nombre de lógica difusa durante 25 años, pero sus
orígenes se remontan hasta 2,500 años. Aún Aristóteles consideraba que existían ciertos
grados de veracidad y falsedad. Platón había considerado ya grados de pertenencia.
En el siglo XVIII el filósofo y obispo anglicano Irlandés, George Berkeley y David Hume
describieron que el núcleo de un concepto atrae conceptos similares. Hume en particular,
creía en la lógica del sentido común, el razonamiento basado en el conocimiento que la
gente adquiere en forma ordinaria mediante vivencias en el mundo. En Alemania,
Immanuel Kant, consideraba que solo los matemáticos podían proveer definiciones
claras, y muchos principios contradictorios no tenían solución. Por ejemplo la materia
podía ser dividida infinitamente y al mismo tiempo no podía ser dividida infinitamente.

Particularmente la escuela americana de la filosofía llamada pragmatismo fundada a
principios de siglo por Charles Sanders Peirce, cuyas ideas se fundamentaron en estos
conceptos, fue el primero en considerar ''vaguedades'', más que falso o verdadero, como
forma de acercamiento al mundo y a la forma en que la gente funciona.
La idea de que la lógica produce contradicciones fue popularizada por el filósofo y
matemático británico Bertrand Russell, a principios del siglo XX. Estudio las vaguedades
del lenguaje, concluyendo con precisión que la vaguedad es un grado. El filosofo
austríaco Ludwing Wittgenstein estudió las formas en las que una palabra puede ser
empleada para muchas cosas que tienen algo en común. La primera lógica de vaguedades
fue desarrollada en 1920 por el filósofo Jan Lukasiewicz, visualizó los conjuntos con un
posible grado de pertenencia con valores de 0 y 1, después los extendió a un número
infinito de valores entre 0 y 1. En los años sesentas, Lofti Zadeh inventó la lógica difusa,
que combina los conceptos de la lógica y de los conjuntos de Lukasiewicz mediante la
definición de grados de pertenencia.
2. Concepto:
Un tipo de lógica que reconoce más que simples valores verdaderos y falsos. Con lógica
difusa, las proposiciones pueden ser representadas con grados de veracidad o falsedad.
Por ejemplo, la sentencia "hoy es un día soleado", puede ser 100% verdad si no hay nubes,
80% verdad si hay pocas nubes, 50% verdad si existe neblina y 0% si llueve todo el día.
La Lógica Difusa ha sido probada para ser particularmente útil en sistemas expertos y
otras aplicaciones de inteligencia artificial. Es también utilizada en algunos correctores
de voz para sugerir una lista de probables palabras a reemplazar en una mal dicha. La
Lógica Difusa, que hoy en día se encuentra en constante evolución, nació en los años 60
como la lógica del razonamiento aproximado, y en ese sentido podía considerarse una
extensión de la Lógica Multivaluada. La Lógica Difusa actualmente está relacionada y
fundamentada en la teoría de los Conjuntos Difusos. Según esta teoría, el grado de
pertenencia de un elemento a un conjunto va a venir determinado por una función de
pertenencia, que puede tomar todos los valores reales comprendidos en el intervalo [0,1].
3. Conjuntos difusos.
La mayoría de los fenómenos que encontramos cada día son imprecisos, es decir, tienen
implícito un cierto grado de difusidad en la descripción de su naturaleza. Esta imprecisión
puede estar asociada con su forma, posición, momento, color, textura, o incluso en la
semántica que describe lo que son. En muchos casos el mismo concepto puede tener
diferentes grados de imprecisión en diferentes contextos o tiempo. Un día cálido en
invierno no es exactamente lo mismo que un día cálido en primavera. La definición exacta
de cuando la temperatura va de templada a caliente es imprecisa -no podemos identificar
un punto simple de templado, así que emigramos a un simple grado, la temperatura es
ahora considerada caliente. Este tipo de imprecisión o difusidad asociado continuamente
a los fenómenos es común en todos los campos de estudio: sociología, física, biología,
finanzas, ingeniería, oceanografía, psicología, etc.

4. Conceptos imprecisos.
Aceptamos la imprecisión como una consecuencia natural de ''la forma de las cosas en el
mundo''. La dicotomía entre el rigor y la precisión del modelado matemático en todo los
campos y la intrínseca incertidumbre de ''el mundo real'' no es generalmente aceptada por
los científicos, filósofos y analistas de negocios. Nosotros simplemente aproximamos
estos eventos a funciones numéricas y escogemos un resultado en lugar de hacer un
análisis del conocimiento empírico. Sin embargo, procesamos y entendemos de manera
implícita la imprecisión de la información fácilmente. Estamos capacitados para formular
planes, tomar decisiones y reconocer conceptos compatibles con altos niveles de
vaguedad y ambigüedad. considere las siguientes sentencias:
 La temperatura está caliente

 La inflación actual aumenta rápidamente
 Los grandes proyectos generalmente tardan mucho
 Nuestros precios están por abajo de los precios de la competencia
 IBM es una compañía grande y agresiva
 Alejandro es alto, pero Ana no es bajita
Estas proposiciones forman el núcleo de nuestras relaciones con ''la forma de las cosas en
el mundo''. Sin embargo, son incompatibles con el modelado tradicional y el diseño de
sistemas de información. Si podemos incorporar estos conceptos logramos que los
sistemas sean potentes y se aproximen más a la realidad.
¿Pero, es la imprecisión un concepto artificial utilizado para aumentar o disminuir en uno

o más las propiedades de los fenómenos? o es una parte intrínseca del fenómeno en sí
mismo?
Esta es una pregunta importante ya que es la parte fundamental de las medidas de la teoría
difusa. Como veremos la falsificación es independiente de cualquier capacidad para
medir, ya que un conjunto difuso es un conjunto que no tiene límites bien definidos. Un
conjunto difuso tiene muchas propiedades intrínsecas que afectan la forma del conjunto,
su uso y como participa en un modelo. Las propiedades más importantes de un conjunto
difuso son las concernientes a las dimensiones verticales del conjunto difuso (altura y
normalización) y las dimensiones horizontales (conjunto soporte y cortes "Alpha").
La altura de un conjunto difuso es como máximo un grado de pertenencia y es una cota
cercana al concepto de normalización. La superficie de la región de un conjunto difuso es
el universo de valores. Todos estos conceptos se tratarán más adelante. Es decir, un
conjunto difuso A se considera como un conjunto de pares ordenados, en los que el primer
componente es un número en el rango [0,1] que denota el grado de pertenencia de un
elemento u de U en A, y el segundo componente especifica precisamente quién es ese
elemento de u. En general los grados de pertenencia son subjetivos en el sentido de que
su especificación es una cuestión objetiva. Se debe aclarar que, aunque puede

interpretarse como el grado de verdad de que la expresión ''u A'' sea cierta, es más natural
considerarlo simplemente como un grado de pertenencia.
Puede notarse además que:
a) Mientras más próximo está (u) a el valor 1, se dice que u pertenece más a A (de modo
que 0 y 1 denotan la no pertenencia y la pertenencia completa, respectivamente).
b) Un conjunto en el sentido usual es también difuso pues su función característica u es

también una función u [0,1]; o sea que los conjuntos difusos son una generalización de
los conjuntos usuales.
Ejemplo: Sea U =11, 2, 3, 4, 5, 6, 7, 8, 9, entonces los conjuntos definidos a continuación

son difusos:
POCOS = (.4/1, .8/2, 1/3, .4/4)
VARIOS = (.5/3, .8/4, 1/5, 1/6, .8/7, .5,8)
MUCHOS =(.4/6, .6/7, .8/8, .9/9,1/10)
Note que el elemento 4 pertenece en grado .4 al conjunto POCOS, en grado .8 al conjunto

VARIOS y en grado .0 a MUCHOS. Zadeh ha hecho algunas extensiones a los conceptos
de conjuntos difusos ordinarios que se han explicado; por ejemplo los conjuntos difusos
de nivel-m y los conjuntos difusos tipo-n. Para un conjunto difuso de nivel-m se considera
como su universo de discusión al conjunto de conjuntos difusos de nivel-(m-1),
sobreentendiendo que los conjuntos difusos de nivel-1 son conjuntos difusos ordinarios.
Para los conjuntos difusos tipo-n, los valores de las funciones de pertenencia son
conjuntos difusos de tipo-(n-1) del intervalo [0,1] (en lugar de ser puntos de [0,1]).
También los conjuntos difusos tipo-1 son equivalentes a los conjuntos difusos ordinarios.
Operaciones.
En la lógica Booleana tradicional, los conjuntos son considerados como sistemas

bivalentes con sus estados alternando entre inclusión y exclusión. La característica de la
función discriminante refleja este espacio bivaluado
Esto indica que la función de pertenencia para el conjunto A es cero si x no es un elemento

en A y la función de pertenencia es si x es un elemento en A. Dado que existen solamente
dos estados, la transición entre estos dos estados es siempre inmediata. La pertenencia de
estos conjuntos está siempre totalmente categorizada y no existe ambigüedad o dicotomía
acerca de la pertenencia. Existen 4 operaciones básicas de conjuntos en esta lógica: unión,
intersección, complemento y unión exclusiva. Al igual que en los conjuntos
convencionales, existen definiciones específicas para combinar y especificar nuevos
conjuntos difusos. Este conjunto de funciones teóricas provee las herramientas
fundamentales de la lógica. En el caso usual, con las operaciones comunes de
intersección, unión y complemento, el conjunto de conjuntos de U forman un álgebra
booleana, es decir se cumplen las condiciones de asociatividad, conmutatividad,

elementos neutros, ídem potencia, absorción, distributividad, complemento y las leyes de
Morgan.
Las tres operaciones mencionadas se pueden extender de varias formas a conjuntos

difusos, de modo que al restringirlas a los conjuntos usuales, coincidan con las comunes.
Estas extensiones resultantes satisfacen en forma general sólo a algunas de las
condiciones listadas anteriormente, y para mantener la vigencia de alguna, será
obligatorio sacrificar a otras. En el sistema se optó por extender las operaciones en el
sentido clásico, es decir, dados dos conjuntos difusos A y B, se definen las operaciones
extendidas de la siguiente forma
Dado que los conjuntos difusos no se particionan en el mismo sentido que los conjuntos
Booleanos, estas operaciones son aplicadas al nivel de pertenencia, como una
consecuencia de los conjuntos difusos. Decidir si un valor es o no es miembro de
cualquier conjunto difuso en particular, requiere algunas nociones de cómo está
construido el conjunto, del universo y de los límites de éste.
Las etiquetas lingüísticas y operadores.
El centro de las técnicas de modelado difuso es la idea de variable lingüística. Desde su

raíz, una variable lingüística es el nombre de un conjunto difuso. Si tenemos un conjunto
difuso llamado ''largo'' éste es una simple variable lingüística y puede ser empleada como
una regla-base en un sistema basado en la longitud de un proyecto en particular Si
duración-proyecto es largo entonces la-terminación-de-tareas es DECRECIENTE; Una
variable lingüística encapsula las propiedades de aproximación o conceptos de
imprecisión en un sistema y da una forma de computar adecuada. Esto reduce la aparente
complejidad de describir un sistema que debe concordar con su semántica. Una variable
lingüística siempre representa un espacio difuso.
Lo importante del concepto de variable lingüística es su estimación de variable de alto

orden más que una variable difusa. En el sentido de que una variable lingüística toma
variables difusas como sus valores. En el campo de la semántica difusa cuantitativa al
significado de un término "x" se le representa como un conjunto difuso M(x) del universo
de discusión. Desde este punto de vista, uno de los problemas básicos en semántica es
que se desea calcular el significado de un término compuesto
La idea básica sugerida por Zadeh es que una etiqueta lingüística tal como ''muy'', ''más o
menos'', ''ligeramente'', etc... puede considerarse como un operador que actúa sobre un
conjunto difuso asociado al significado de su operando. Por ejemplo en el caso de un
término compuesto ''muy alto'', el operador ''muy'' actúa en el conjunto difuso asociado al
significado del operando ''alto''. Una representación aproximada para una etiqueta
lingüística se puede lograr en términos de combinaciones o composiciones de las
operaciones básicas explicadas en la sección anterior. Es importante aclarar que se hará
mayor énfasis en que estas representaciones se proponen principalmente para ilustrar el
enfoque, más que para proporcionar una definición exacta de las etiquetas lingüísticas.
Zadeh también considera que las etiquetas lingüísticas pueden clasificarse en dos
categorías que informalmente se definen como sigue:

Tipo I: las que pueden representarse como operadores que actúan en un conjunto difuso:
''muy'', ''más o menos'', ''mucho'', ''ligeramente'', ''altamente'', ''bastante'', etc. y,
Tipo II: las que requieren una descripción de cómo actúan en los componentes del
conjunto difuso (operando): ''esencialmente'', ''técnicamente'', ''estrictamente'',
''prácticamente'', ''virtualmente'', etc...
En otras palabras, las etiquetas lingüísticas pueden ser caracterizadas cómo operadores
más que construcciones complicadas sobre las operaciones primitivas de conjuntos
difusos.
Ejemplos de etiquetas tipo I.
De acuerdo a éste punto de vista y sabiendo que el lenguaje natural es muy rico y
complejo, tomamos el operador ''muy'' que podemos caracterizar con un significado de
que aún cuando no tenga validez universal sea sólo una aproximación. Asumimos que si
el significado de un término x es un conjunto difuso A, entonces el significado de muy
X.
Más y menos
Se pueden definir etiquetas lingüísticas artificiales, por ejemplo: más, menos, que son
instancias de lo que puede llamarse acentuador y desacentuador respectivamente, cuya
función es proporcionar ligeras variantes de la concentración y la dilatación.
Los exponentes se eligen de modo que se de la igualdad aproximada: mas mas x = menos
muy x, y que, además, se pueden utilizar para definir etiquetas lingüísticas cuyo
significado difiere ligeramente de otras, ejemplo:
Mas o menos
Otra etiqueta lingüística interesante es ''más o menos'' que en sus usos más comunes como
''más o menos inteligente'', ''más o menos rectangular'' etc, juega el papel de difusificador.
Ligeramente
Su efecto es dependiente de la definición de proximidad u ordenamientos en el dominio

del operando. Existen casos, sin embargo, en los que su significado puede definirse en
términos de etiquetas lingüísticas tipo I, bajo la suposición de que el dominio del operando
es un conjunto ordenado linealmente.
Clase de
Es una etiqueta lingüística que tiene el efecto de reducir el grado de pertenencia de los
elementos que están en el ''centro'' (grados de pertenencia grandes) de una clase x e
incrementa el de aquellos que están en su periferia (grados de pertenencia pequeños).
Regular
Es una etiqueta que tiene el efecto de reducir el grado de pertenencia de aquellos

elementos que tienen tanto un alto grado de pertenencia al conjunto como de aquellos que

lo tienen pequeño, y sólo aumenta el grado de pertenencia de aquellos elementos que
tienen un grado de pertenencia cercano.
Etiquetas tipo II.
Su caracterización envuelve una descripción de forma que afectan a los componentes del
operando, y por lo tanto es más compleja que las del tipo I. En general, la definición de
una etiqueta de este tipo debe formularse como un algoritmo difuso que envuelve
etiquetas tipo I. Su efecto puede describirse aproximadamente como una modificación de
los coeficientes de ponderación de una combinación convexa. Como la magnitud de las
ponderaciones es una medida del atributo asociado, intuitivamente una etiqueta de este
tipo tiene el efecto de aumentar las ponderaciones de los atributos importantes y disminuir
los que relativamente no lo son.
Ejemplo de una función de pertenencia a un Conjunto Difuso.
La Lógica Difusa (llamada también Lógica Borrosa por otros autores) o Fuzzy Logic es
básicamente una lógica con múltiples valores, que permite definir valores en las áreas
oscuras entre las evaluaciones convencionales de la lógica precisa: Si / No, Cierto / Falso,
Blanco / Negro, etc. Se considera un súper conjunto de la Lógica Booleana. Con la Lógica
Difusa, las proposiciones pueden ser representadas con grados de certeza o falsedad. La
lógica tradicional de las computadoras opera con ecuaciones muy precisas y dos
respuestas: Si o no, uno o cero. Ahora, para aplicaciones de computadores muy mal
definidas o sistemas vagos se emplea la Lógica Difusa.
Por medio de la Lógica Difusa pueden formularse matemáticamente nociones como un

poco caliente o muy frío, para que sean procesadas por computadoras y cuantificar
expresiones humanas vagas, tales como "Muy alto" o "luz brillante". De esa forma, es un
intento de aplicar la forma de pensar humana a la programación de los computadores.
Permite también cuantificar aquellas descripciones imprecisas que se usan en el lenguaje
y las transiciones graduales en electrodomésticos como ir de agua sucia a agua limpia en
una lavadora, lo que permite ajustar los ciclos de lavado a través de sensores. La habilidad
de la Lógica Difusa para procesar valores parciales de verdad ha sido de gran ayuda para
la ingeniería. En general, se ha aplicado a:
Sistemas expertos.
Verificadores de ortografía, los cuales sugieren una lista de palabras probables para
reemplazar una palabra mal escrita.
Control de sistemas de trenes subterráneos.
Los operadores lógicos que se utilizarán en Lógica Difusa (AND, OR, etc.) se definen
también usando tablas de verdad, pero mediante un "principio de extensión" por el cual
gran parte del aparato matemático clásico existente puede ser adaptado a la manipulación
de los Conjuntos Difusos y, por tanto, a la de las variables lingüísticas.

La operación más importante para el desarrollo y creación de Reglas Lógicas es la
implicación, simbolizada por " ® " que representa el "Entonces" de las reglas heurísticas:
Si (...) Entonces ( ® ) (...).
Así, en la Lógica Difusa hay muchas maneras de definir la implicación. Se puede elegir
una "función (matemática) de implicación" distinta en cada caso para representar a la
implicación.
La última característica de los sistemas lógicos es el procedimiento de razonamiento, que

permite inferir resultados lógicos a partir de una serie de antecedentes. Generalmente, el
razonamiento lógico se basa en silogismos, en los que los antecedentes son por un lado
las proposiciones condicionales (nuestras reglas), y las observaciones presentes por otro
(serán las premisas de cada regla).
Los esquemas de razonamiento utilizados son "esquemas de razonamiento aproximado",
que intentan reproducir los esquemas mentales del cerebro humano en el proceso de
razonamiento. Estos esquemas consistirán en una generalización de los esquemas básicos
de inferencia en Lógica Binaria (silogismo clásico).
Tan importante será la selección de un esquema de razonamiento como su representación

material, ya que el objetivo final es poder desarrollar un procedimiento analítico concreto
para el diseño de controladores difusos y la toma de decisiones en general. Una vez que
dispongamos de representaciones analíticas de cada uno de los elementos lógicos que
acabamos de enumerar, estaremos en disposición de desarrollar formalmente un
controlador "heurístico" que nos permita inferir el control adecuado de un determinado
proceso en función de un conjunto de reglas "lingüísticas", definidas de antemano tras la
observación de la salida y normas de funcionamiento de éste.
5. Conjuntos difusos: Lógica Difusa:

Predicados Vagos y Conjuntos Difusos.
Los conjuntos clásicos se definen mediante un predicado que da lugar a una clara división
del Universo de Discurso X en los valores "Verdadero" y "Falso". Sin embargo, el
razonamiento humano utiliza frecuentemente predicados que no se pueden reducir a este
tipo de división: son los denominados predicados vagos.
Por ejemplo, tomando el Universo de Discurso formado por todas las posibles
temperaturas ambientales en la ciudad de Huelva, se puede definir en dicho universo el
conjunto A como aquél formado por las temperaturas "cálidas". Por supuesto, es
imposible dar a A una definición clásica, ya que su correspondiente predicado no divide
el universo X en dos partes claramente diferenciadas. No podemos afirmar con rotundidad
que una temperatura es "cálida" o no lo es. El problema podría resolverse en parte
considerando que una temperatura es "cálida" cuando su valor supera cierto umbral fijado
de antemano. Se dice que el problema tan sólo se resuelve en parte, y de manera no muy
convincente, por dos motivos: de una parte el umbral mencionado se establece de una
manera arbitraria, y por otro lado podría darse el caso de que dos temperaturas con valores

muy diferentes fuesen consideradas ambas como "cálidas". Evidentemente, el concepto
"calor" así definido nos daría una información muy pobre sobre la temperatura ambiental.
La manera más apropiada de dar solución a este problema es considerar que la pertenencia
o no pertenencia de un elemento x al conjunto A no es absoluta sino gradual. En
definitiva, definiremos A como un Conjunto Difuso. Su función de pertenencia ya no
adoptará valores en el conjunto discreto {0,1} (lógica booleana), sino en el intervalo
cerrado [0,1]. En conclusión podemos observar que los Conjuntos Difusos son una
generalización de los conjuntos clásicos.
Mediante notación matemática se define un Conjunto Difuso B como:
B = { ( x , mB( x ) ) / x å X }
mB: X® [0,1]
La función de pertenencia se establece de una manera arbitraria, lo cual es uno de los

aspectos más flexibles de los Conjuntos Difusos. Por ejemplo, se puede convenir que el
grado de pertenencia de una temperatura de "45ºC" al conjunto A es 1, el de "25ºC" es
0.4 , el de "6ºC" es 0, etc.: cuanto mayor es el valor de una temperatura, mayor es su grado
de pertenencia al conjunto B. Para operar en la práctica con los Conjuntos Difusos se
suelen emplear funciones de pertenencia del tipo representado en la figura 2:
Tipos de funciones de pertenencia.

En la figura se pueden observar dos tipos de funciones de pertenencia de todos los
posibles: el tipo triangular, que puede ser un caso concreto del trapezoidal en el que los
dos valores centrales son iguales, y el de forma de campana gaussiana. Tómese ahora el
Universo de Discurso de la edad. El Conjunto Difuso "Joven" representa el grado de
pertenencia respecto al parámetro juventud que tendrían los individuos de cada edad. Es
decir, el conjunto expresa la posibilidad de que un individuo sea considerado joven. Un
Conjunto Difuso podría ser considerado como una distribución de posibilidad, que es
diferente a una distribución de probabilidad.
Se puede observar que los Conjuntos Difusos de la figura 3 se superponen, por lo que un
individuo xl podría tener distintos grados de pertenencia en dos conjuntos al mismo
tiempo: "Joven" y "Maduro". Esto indica que posee cualidades asociadas con ambos
conjuntos. El grado de pertenencia de x en A, como ya se ha señalado anteriormente, se
representa por m A(x). El Conjunto Difuso A es la unión de los grados de pertenencia
para todos los puntos en el Universo de Discurso X, que también puede expresarse como:
Bajo la notación de los Conjuntos Difusos, µA(x)/x es un elemento del conjunto A. La

operación òx representa la unión de los elementos difusos µA(x)/x. Los Universos de
Discurso con elementos discretos utilizan los símbolos "+" y "S " para representar la
operación unión.
Veamos un ejemplo:
Ejemplo de Conjuntos Difusos en el universo de la edad.

Tómese un individuo x cuya edad sea de 20 años. Como se puede observar en la figura,
pertenece al Conjunto Difuso "Joven" y al Conjunto Difuso "Maduro". Se puede observar
que posee un grado de pertenencia µA(x) de 0.6 para el Conjunto Difuso "Joven" y un
grado de 0.4 para el Conjunto Difuso "Maduro"; también posee un grado de 0 para
"Viejo". De este ejemplo se puede deducir que un elemento puede pertenecer a varios
Conjuntos Difusos a la vez aunque con distinto grado. Así, nuestro individuo x tiene un
grado de pertenencia mayor al conjunto "Joven " que al conjunto "Maduro"(0.6 > 0.4),
pero no se puede decir, tratándose de Conjuntos Difusos, que x es joven o que x es maduro
de manera rotunda.
6. Operaciones entre Conjuntos difusos:

Los Conjuntos Difusos se pueden operar entre sí del mismo modo que los conjuntos
clásicos. Puesto que los primeros son una generalización de los segundos, es posible
definir las operaciones de intersección, unión y complemento haciendo uso de las mismas
funciones de pertenencia:
µAÇ B (x) = minµA(x), µB(x) )
µAÈ B (x) = max ( µA(x), µB(x) )
µØ A (x) = 1 - µA(x)
En realidad, estas expresiones son bastante arbitrarias y podrían haberse definido de

muchas otras maneras. Esto obliga a considerar otras definiciones más generales para las
operaciones entre los Conjuntos Difusos. En la actualidad se considera correcto definir el
operador intersección mediante cualquier aplicación t-norma y el operador unión
mediante cualquier aplicación s-norma. <
Variables Lingüísticas
La Teoría de Conjuntos Difusos puede utilizarse para representar expresiones lingüísticas

que se utilizan para describir conjuntos o algoritmos. Los Conjuntos Difusos son capaces
de captar por sí mismos la vaguedad lingüística de palabras y frases comúnmente
aceptadas, como "gato pardo" o "ligero cambio". La habilidad humana de comunicarse
mediante definiciones vagas o inciertas es un atributo importante de la inteligencia.
Una Variable Lingüística es aquella variable cuyos valores son palabras o sentencias que
van a enmarcarse en un lenguaje predeterminado. Para estas variables lingüísticas se
utilizará un nombre y un valor lingüístico sobre un Universo de Discurso. Además, podrán
dar lugar a sentencias generadas por reglas sintácticas, a las que se les podrá dar un
significado mediante distintas reglas semánticas.
Los Conjuntos Difusos pueden utilizarse para representar expresiones tales como:
X es PEQUEÑO.
La velocidad es RÁPIDA.
El ganso es CLARO.

Las expresiones anteriores pueden dar lugar a expresiones lingüísticas más complejas
como:
X no es PEQUEÑO.
La velocidad es RÁPIDA pero no muy RÁPIDA.
El ganso es CLARO y muy ALEGRE.
Así, se pueden ir complicando las expresiones. Por ejemplo, la expresión "x no es

PEQUEÑO" puede calcularse a partir de la original calculando el complemento de la
siguiente forma:
µ_no PEQUEÑA (x) = 1- µ_PEQUEÑO (x)
Tratando de esta forma los distintos modificadores lingüísticos (muy, poco, rápido,
lento...) pueden ir calculándose todas las expresiones anteriores.

IV. BIBLIOGRAFÍA
 Paulino, C. A. (12 de 09 de 2005). PENSAMIENTO, LENGUAJE Y REALIDAD. Obtenido de

PENSAMIENTO, LENGUAJE Y REALIDAD:
http://logicarlosj.blogspot.pe/2006/02/hablemos-de-lgica-dialctica.html
 Wikipedía. (20 de 15 de 2008). Wikiepdia . Obtenido de Wikipedia :

https://es.wikipedia.org/wiki/Dial%C3%A9ctica
 Pardo Tovar, Andrés Historia de la Filosofía y Filosofía de la Historia. Bogotá:

Ediciones Tercer Mundo, 1970.

Informe Básica

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Informe Básica

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL DE

CURSO: Matemática Básica

DOCENTE: Ebert Rojas Huamán

Cajamarca, Julio del 2017

INGENIERÍA HIDRAÚLICA MATEMÁTICA BÁSICA 1

Trataremos acerca de la lógica natural que es definida como la que se establece en

INGENIERÍA HIDRAÚLICA MATEMÁTICA BÁSICA 2

La lógica es la disciplina que se ocupa de los métodos de racionamiento suministrando

En presente trabajo trata acerca de la lógica, de cómo ha ido interviniendo y formando

INGENIERÍA HIDRAÚLICA MATEMÁTICA BÁSICA 3

INGENIERÍA HIDRAÚLICA MATEMÁTICA BÁSICA 4

C.2. LOGICA CIENTIFICA

INGENIERÍA HIDRAÚLICA MATEMÁTICA BÁSICA 5

 Se hipotetiza que la suma de los catetos en un triángulo rectángulo es igual al

C.3. LOGICA FORMAL

INGENIERÍA HIDRAÚLICA MATEMÁTICA BÁSICA 6

C.4 LOGICA MATERIAL

2.DIFERENCIAS ENTRE LA LOGICA FORMAL Y MATERIAL

 El pensamiento: Octavio paz recibió el premio nobel de literatura, es un juicio en

C.5 LOGICA MATEMÁTICA

El uso más temprano de matemáticas y de geometría en relación con la lógica y la filosofía

INGENIERÍA HIDRAÚLICA MATEMÁTICA BÁSICA 7

En 1920 David Hilbert propuso de forma explícita un proyecto de investigación (en

INGENIERÍA HIDRAÚLICA MATEMÁTICA BÁSICA 8

 La sintaxis de los lenguajes formales, es decir, las reglas de formación de

 La semántica de los lenguajes formales, es decir, los significados atribuibles a un

 Los aspectos metalógicos de los lenguajes formales, como por ejemplo la

4.1 Lógica proposicional (Lógica de orden cero): En ella existe símbolos

INGENIERÍA HIDRAÚLICA MATEMÁTICA BÁSICA 9

Negación no No está lloviendo.

Conjunción y Está lloviendo y está nublado.

Disyunción o Está lloviendo o está soleado.

Condicional material si... entonces Si está soleado, entonces es de día.

Bicondicional si y sólo si Está nublado si y sólo si hay nubes visibles.

Disyunción opuesta ni... ni Ni está soleado ni está nublado.

4.2 Lógica de predicados: Esta no incluye símbolos para variables proposicionales

o Lógica de primer orden que usualmente es fintaría (sólo se admiten

o Lógica de segundo orden que a su vez pueden ser de diferentes

INGENIERÍA HIDRAÚLICA MATEMÁTICA BÁSICA 10

C.6 LOGICA DIALECTICA

La lógica dialéctica no es otra cosa sino la historia y el proceso del conocimiento en su

INGENIERÍA HIDRAÚLICA MATEMÁTICA BÁSICA 11

3.1 Ley de la unidad y lucha de contrarios

3.2 Ley de transición de la cantidad a la cualidad

Hablamos de cambio cualitativo cuando una cosa se transforma en otra que es

INGENIERÍA HIDRAÚLICA MATEMÁTICA BÁSICA 12

3.3 Ley de negación de la negación

C.7 LOGICA DIFUSA

En 1994, la teoría de la lógica difusa se encontraba en la cumbre, pero esta idea no es

INGENIERÍA HIDRAÚLICA MATEMÁTICA BÁSICA 13

INGENIERÍA HIDRAÚLICA MATEMÁTICA BÁSICA 14

 La temperatura está caliente

¿Pero, es la imprecisión un concepto artificial utilizado para aumentar o disminuir en uno

INGENIERÍA HIDRAÚLICA MATEMÁTICA BÁSICA 15

b) Un conjunto en el sentido usual es también difuso pues su función característica u es

Ejemplo: Sea U =11, 2, 3, 4, 5, 6, 7, 8, 9, entonces los conjuntos definidos a continuación

Note que el elemento 4 pertenece en grado .4 al conjunto POCOS, en grado .8 al conjunto

En la lógica Booleana tradicional, los conjuntos son considerados como sistemas

Esto indica que la función de pertenencia para el conjunto A es cero si x no es un elemento

INGENIERÍA HIDRAÚLICA MATEMÁTICA BÁSICA 16

Las tres operaciones mencionadas se pueden extender de varias formas a conjuntos

El centro de las técnicas de modelado difuso es la idea de variable lingüística. Desde su

Lo importante del concepto de variable lingüística es su estimación de variable de alto