Quimica

UNIVERSIDAD CENTRAL DEL ECUADOR
Facultad de Ciencias Químicas
Matemáticas
Deber
Curso: M05
Fecha: 14 de abril de 2014
Nombre: Jean Paul Vargas

Lógica proposicional
La lógicaproposicional o lógica de orden cero es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadasconectivas, representan operaciones sobre proposiciones, capacesde formar otras proposiciones de mayor complejidad.1
La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades. En lógicaproposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad dedefinido), de ahí el nombre proposicional. La lógica proposicional incluye además de variables interpretables como proposiciones simples signos para conectivas lógicas, por lo que dentro de este tipo de lógicapuede analizarse la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.2
Conectivas lógicas
A continuaciónhay una tabla que despliega todas las conectivas lógicas que ocupan a la lógica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los símbolos que se utilizan para representarlasen lenguaje formal.
Conectiva
Expresión en el
lenguaje natural
Ejemplo
Símbolo en
este artículo
Símbolos
alternativos
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ólosi hay nubes visibles.


Negación conjunta
ni... ni
Ni está soleado ni está nublado.


Disyunción excluyente
o bien... o bien
O bien está soleado, o bien está nublado.



En la lógica...