Así las condiciones de verdad de una proposición molecular, pueden derivarse sistemáticamente de las proposiciones atómicas que la forman.