Esto, junto a una teoría de interpretación, dan significado a las frases en la lógica.