Stav dette: Lógica básica para la verdad aristotélica