En la Lógica Proposicional, para simbolizar las proposiciones simples se recurre a las letras minúsculas del alfabeto, comenzando por la letra “p” y después siguiendo el orden alfabético.
Para representar los valores de verdad de una proposición utilizaremos dos números el “1” y el “0”. El número “1” representa que esa proposición es verdadera, y el número “0” representa que esa proposición es falsa.
2.2. Constantes proposicionales: Las conectivas o conectores.
Se denomina constantes lógicas o conectivas a las partículas que sirven para unir proposiciones simples y convertirlas en fórmulas complejas. Las constantes lógicas más usuales son las siguientes:
- Conjuntor
- Disyuntor
- Implicador
- Bicondicional
Estos coenectores lógicos los veremos en las siguientes páginas.
No hay comentarios:
Publicar un comentario