lógica proposicional


Wikipedia en español - La enciclopedia libreDownload this dictionary
Lógica proposicional
La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.

Ver más en Wikipedia.org...


© Este artículo utiliza contenidos de Wikipedia® y está disponible bajo los términos de la Licencia de documentación libre GNU y bajo los términos de la Licencia Creative Commons Atribución-CompartirIgual