Si bien la semántica para un lenguaje natural como el inglés es complicada (¿Cuál es el significado de una oración? ¿Sus condiciones de verdad? ¿La proposición expresada? ¿Esas dos cosas son iguales? ...Si bien la semántica para un lenguaje natural como el inglés es complicada (¿Cuál es el significado de una oración? ¿Sus condiciones de verdad? ¿La proposición expresada? ¿Esas dos cosas son iguales? ¿Es algo completamente distinto? Uf.), la semántica para las oraciones SL es simple: todo lo que nos importa es verdad-valor. Una oración en SL puede tener uno de dos valores semánticos: verdadero o falso. Eso es.