Esto hace que la lógica proposicional sea completa y con una semántica muy sencilla de caracterizar.