logica matematica

República Bolivariana de Venezuela
Ministerio del poder popular para la defensa
Universidad Nacional Experimental Politécnica de la Fuerza Armada Nacional
Cátedra: Lógica MatemáticaNucleo_Zulia




















Profesor: Integrantes:
Natali CepedaEwins Arcaya 23.446.417

Sección:04-ISI-D07

Maracaibo, Junio del 2014

Esquema





1)Lógicas Modales

2) Locas multivaluadas

3) Lógicas Difusas

4) Lógicas Temporales

5) Lógicas de Ordenes Mayores

6) Lógicas o sistema axiomáticos

7) Teorema de incompletitud de Gödel8) Implementación Filosófica
















Introducción
























Desarrollo



1) Lógicas Modales
R:
Es un sistema formal que intentacapturar el comportamiento deductivo de algún grupo de operadores modales. Los operadores modales son expresiones que califican la verdad de los juicios. Por ejemplo, en la oración "es necesario que2+2=4", la expresión "es necesario que" es un operador modal que califica de necesaria a la verdad del juicio "2+2=4".

En un sentido más restringido, sin embargo, se llama lógica modal al sistemaformal que se ocupa de las expresiones "es necesario que" y "es posible que". Este artículo trata exclusivamente sobre este sistema formal. Otros sistemas de lógica modal conocidos son la lógicadeóntica, la lógica temporal, la lógica epistémica y la lógica doxástica.




2) Locas multivaluadas
R:
Es un cálculo proposicional en la que hay más de dos valores de verdad. Tradicionalmente, en...