Please enable JavaScript.
Coggle requires JavaScript to display documents.
DE LA LÓGICA SIMBÓLICA A LA LÓGICA TRIVALENTE ANDINA - Coggle Diagram
DE LA LÓGICA SIMBÓLICA A LA LÓGICA TRIVALENTE ANDINA
LÓGICA PROPOSICIONAL
Enunciado que se asigna
el valor de la verdad falso o
verdadero, pero no ambos.
Simples
Una proposición
simple o atómica.
Compuestas
Varias proposiciones
simples
Tablas de verdad
Tabla matemática conectada con
Boolean algebra, funciones y
cálculos.
Cálculo
proposicional
Emplea propociciones
y sus relaciones entre
estas.
La lógica de clases y las lógicas plurivalentes y el concepto de unidad en la totalidad cosmovisión andina.
Lógica de clases
Analiza la proposición lógica considerando la pertenencia o no pertenencia de un elemento o individuo clasificado por poseer una determinada propiedad.
El valor de verdad de la primera viene dado por la pertenencia o no pertenencia del individuo a la clase; su tabla de valores de verdad lógica se explicita como tablas de pertenencia.
TIPOS
Conjunto universal
Conjunto no vacío
Conjunto indeterminado:
Conjunto vacío
Complemento de un conjunto
RELACIONES
ENTRE CLASES
DOS CLASES: Inclusión o exclusión que encontraremos
en la proposición.
TRES CLASES:
Área 1: Están los elementos que no pertenecen a la clase S, que no pertenecen a la clase P y que no pertenecen a la clase M.
Área 2: Están los elementos que pertenecen a S, que no pertenecen a P y que no pertenecen a la clase M.
Área 3: Están los elementos que pertenecen a S y a la vez a P, pero no pertenecen a la clase M.
Área 4: Están los elementos que no pertenecen a S, que sí pertenecen a P pero que no pertenecen a M.
Área 5: Están los elementos que pertenecen a la clase S, que no pertenecen a la clase P, pero que sí pertenecen a la clase M.
Área 6: Están los elementos que pertenecen a S, a P y a M.
Áream 7:Elementos que no pertenecen a S, que sí pertenecen a P y que también pertenecen a M.
Área 8: Están los elementos que no pertenecen a S, que no pertenecen a P, pero que sí pertenecen a M.
Lógicas plurivalentes
sistema lógico que rechaza el principio del tercero excluido de las lógicas bivalentes y admite más valores de verdad que los tradicionales verdadero y falso.
La lógica aristotélica
opera sobre la base de que toda proposición es o bien verdadera o bien es falsa (bivalente), por lo tanto, sólo distingue dos tipos de valores lógicos: 1) verdad y 2) falsedad.
La lógica trivalente
No aristotélica, puesto que opera sobre la base de que, además de proposiciones verdaderas y falsas, hay también proposiciones que no son verdaderas y ni falsas, por lo tanto, existe un tercer valor lógico.