miércoles, 6 de mayo de 2015

Clases De Logica

Tipos de lógica

               La lógica natural: es aquella que todo el ser humano adquiere con la experiencia sensible. Si un día me quemo con una plancha encendida, al otro día, al ver que la plancha está encendida no tocaré el plato puesto que por lógica sé que me voy a volver a quemar.


           
  La lógica científica: es aquella que además de usar la experiencia, también hace uso de la razón, haciendo juicios con todo lo existente. Entonces le doy una explicación al fenómeno de la plancha utilizando las leyes físicas y químicas, la resistencia del cuerpo humano y la razón, para comprender a fondo el por qué me quemé
.
             La lógica formal: trata del estudio del razonamiento desde su aspecto correcto. Sin implicar la validez de tal razonamiento. Es adecuado pensar que si hoy es lunes entonces iré a la escuela. Mi pensamiento es correcto sin importar si es o no válido. Así c
omo decir La tierra gira, la lluvia cae, el sol calienta, etc. Hay ciertas reglas que a la lógica material le importan para que un pensamiento sea correcto, de esto habla la estructura y las figuras lógicas.
         


 La lógica material: se estudia desde una rama de la filosofía llamada epistemología. El objeto de la lógica material se basa en la validez de un pensamiento tomando en cuenta la realidad. Puede pensar el cielo está nublado luego entonces lloverá. Aunque mi
     Pensamiento es correcto, no tiene validez, no es verdadero. Puede estar                                  nublado y sin embargo no llover o puede estar soleado y de repente comenzar a llover.


               Lógica Difusa: se utiliza cuando la complejidad del proceso en cuestión es muy alta y no existen modelos matemáticos precisos, para procesos altamente no lineales y cuando se envuelven definiciones y conocimiento no estrictamente definido (impreciso o subjetivo).
En cambio, no es una buena idea usarla cuando algún modelo matemático ya soluciona eficientemente el problema, cuando los problemas son lineales o cuando no tienen solución.                                                                                                                                                                                                      
            



 Lógica deóntica: un tipo de lógica modal usada para analizar las  normas o las proposiciones que tratan acerca de las normas
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   creado por: Onel

viernes, 1 de mayo de 2015

VIDEOS

Negación



Palabras conectivas: no, no es cierto que, no es verdad que, nunca, carece de, sin, etc.



Conjunción



Palabras conectivas: y, aunque, pero, mas, también, sin embargo, además, etc.

Condición: es V cuando ambas son V.



Disyunción




DISYUNCIÓN INCLUSIVA
Una, otra o ambas a la vez. (y/o)
Palabras conectivas: o
Condición: es F cuando las dos son F.

DISYUNCIÓN EXCLUSIVA
O una o la otra (NUNCA ambas juntas)

Condición: es V cuando uno es V y el otro es F.



Si Desea practicar o estar más claro ir...

TECNOLOGIA



Hoy en día son muchos los smartphones que llevan un sensor o escáner de huellas dactilares, y el mismo se suele encontrar en el botón de Inicio del dispositivo, aunque en otros casos también se puede encontrar en la parte trasera. Parece que dentro de poco veremos un móvil que marcará una importante diferencia en este sentido, ya que su sensor irá incorporado directamente debajo de la pantalla.

NOTICIAS

El matemático que inventó hace más de 150 años cómo buscar en Google

George Y Boole.
Cada vez que haces una simple búsqueda en Google, o en cualquier otro buscador informático, entre los mecanismos de programación que hacen posible que encuentres lo que buscas hay unos principios de lógica que fueron concebidos hace más de 150 años.
leer mas......

LOGICA MATEMATICA

 lógica matemática 


La lógica matemática es una parte de la lógica y la matemática, que consiste en el estudio matemático de la lógica, y en la aplicación de dicho estudio a otras áreas de la matemática y de las ciencias. La lógica matemática tiene estrechas conexiones con las ciencias de la computación y la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican o definen nociones intuitivas de objetos matemáticos como conjuntos, números,demostraciones, y algoritmos, utilizando un lenguaje formal.
La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas. Actualmente se usan indiferentemente como sinónimos las expresiones: lógica simbólica (o logística), lógica matemática, lógica teorética y lógica formal


Concepto de lógica matemática

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 metaló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 lógica matemática suele divide en cuatro campos: teorías de modelos, teorías de demostración, teorías de conjunto y  teoría de recursion.