Caros colegas: Em algumas lógicas do artigo definido, cujo qualificador descreve objetos via propriedades em que existe um único objeto que a satisfaz, é postulado que as descrições via artigo definido com propriedades em que não existe um objeto que as satisfaz ou existe mais de um, ou seja, as descrições impróprias, designam todas o mesmo objeto, onde, semanticamente, qual é este depende da interpretação.
Pergunto então se há algum símbolo padrão para representar tais descrições. Em minhas aulas tenho usado um círculo cortado ao meio por um traço horizontal, mas este sinal se parece com o do conjunto vazio. Qual seria este sinal, se existe? Qual o comando em LaTeX que o gera? Grato antecipadamente, Arthur Buchsbaum -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABAt_QjCZGWqaupj5iirs%3D%3Dk%3DaSFLqhfZ%3DiwNC%3DuNiuza%2BgEMA%40mail.gmail.com.
