La semántica se ocupa del significado de las palabras, oraciones y textos.

Cuando se orienta a la lógica proposicional, hace referencia a los valores de verdad (Verdadero o Falso) que toma cada proposición, ya sea atómica o compuesta.[3]