El lenguaje formalizado es el lenguaje usado en la actividad científica. Solo sirve para formular conocimientos. Es un lenguaje especializado. Pertenecen a este lenguaje, por ejemplo, el lenguaje lógico.
Variables proposicionales y operadores 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 monadico. 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 '٧' .
- El condicional: Representa a la conjunción compuesta 'si..entonces'. Su símbolo es '→'.
- El bicondicional: Representa a la conjunción compuesta 'si y solo 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 monadico 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