SMS: Lógica proposicional