Tópico: Many-valued logic.