Zaslat SMS: Lógica básica para la verdad aristotélica