1.2.1 El alfabeto de las proposiciones
Para simplificar el manejo de la lógica se utilizan símbolos, agrupados en 4 diferentes conjuntos.[9]
1. Proposiciones Las proposiciones se representan con letras, como p, q o r. Ejemplo: p: El auto es rojo. Su conjunto se define:Conjunto de proposiciones={p, q, r...}
2.- Conectores El conjunto de conectores se representa así: Conjunto de conectores={˄, ˅, ¬, →, ↔} La siguiente tabla ejemplifica el significado de cada conector.
3.-Valores de agrupación Los valores de agrupación permiten mayor claridad y alcance en la construcción de FBF. Conjunto de valores de agrupación={ (), [], {} }
4.-Valores de verdad Son los valores que puede tomar una proposición, es decir, Verdadero o Falso. Conjunto de valores de verdad={V, F} |