a) proposição
           4. Conectivos Lógicos

Conectivo
Símbolo
Represntação
Não
'
S=a'
E
.
S=a.b
Ou
+
S=a+b
Condicional
S=ab
Bicondicional
S=ab

Com o advento da álgebra Booleana, as proposições compostas são representadas simbolicamente como expressões Booleanas que fazem parte de um conjunto Booleano que contém apenas dois Símbolos: B={0,1}. Os símbolos alfabéticos (as letras) nada mais são do que variáveis na álgebra Booleana. Este assunto não faz parte deste livro, mas ainda serão tratados alguns conceitos pertinentes a esta álgebra.