domingo, 23 de mayo de 2010

variables proposicionales y operadores logicos

El lenguaje lógico se denomina formalizado porque su propiedad más importante es la de revelar la forma o estructura de las pro-posiciones e inferencias. El lenguaje formalizado de la lógica de proposiciones consta de dos clases de signos: variables proposicionales y operadores o conectores lógicos.
Las variables proposicionales representan a cualquier proposición atómica. Son letras minúsculas del alfabeto castellano 'p', 'q', 'r', 's', etc. Los operadores lógicos además de enlazar o conectar proposiciones establecen determinadas operaciones entre ellas. Son de dos clases: diádicos y el monádico. Los operadores diádicos tienen un doble alcance: hacia la izquierda y hacia la derecha, es decir, afectan a dos variables. Y son los siguientes:
El conjuntivo: representa a la conjunción 'y'. Su símbolo es '^'.
El disyuntivo: representa a la conjunción 'o'. Puede ser inclusivo y exclusivo.
El símbolo del inclusivo es 'v'; el del exclusivo es' ≠↔
El condicional: representa a la conjunción compuesta 'si... entonces'. Su símbolo es'→'.
El bicondicional: representa a la conjunción compuesta 'si y sólo si. Su símbolo es'↔'.
Negación conjunta: representa a las partículas ‘ni... ni`. Su símbolo es '↓'
Negación alterna: representa a la expresión 'no o no'. Su símbolo es │
El Negativo: Es el operador monádico y tiene un solo alcance: hacia la derecha, es decir, afecta a una sola variable. Es el operador de la negación. Representa al adverbio negativo 'no'. Su símbolo es '~'

No hay comentarios:

Publicar un comentario en la entrada