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.

Conector

Símbolo

Tipo de proposición

 y  ˄  Conjunción
 o  ˅  Disyunción
 no  ¬  ó  ~  Negación
 si... entonces  →  Condicional
si y sólo si  ↔  Bicondicional

 

 

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}