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:
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 ‘v’(subrayado) ó ‘v’ <-> (con una linea atravezada, como el signo diferencia).
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 ‘~’.
Suscribirse a:
Enviar comentarios (Atom)
No hay comentarios:
Publicar un comentario