Caros colegas:
Quando um objeto x é elemento de um conjunto A, dizemos que x pertence a A, ou seja, o verbo pertencer expressa a condição de ser elemento. E que verbo deveria ser usado para a relação inversa, ou seja, entre A e x? A possui x? A contém x? A inclui x? A contém x? Talvez não contém do verbo conter, pois, dados dois conjuntos A e B, se todo elemento de A é elemento de B, dizemos que A está contido em B, ou que B contém A, correto? Mas livros em inglês também dizem que, se x é elemento de A, que A contains x. Ou seja, quando x é elemento de A, podemos dizer: # x pertence a A; # A possui x. # A inclui x. # A contém x. Quando todo elemento de A é elementos de B, podemos dizer: # A está contido em B. # A está incluído em B. # A contém B. # A inclui B. Aqui ocorre pelo menos um conflito terminológico, pois então A contém B poderia significar tanto que B é elemento de A como também que todo elemento de B é elemento de A. Pergunto, pois, aos caros colegas, como nomear por um verbo a relação entre x e A quando x é elemento de A? A possui x? A contém x? A inclui x? Considero importante que saibamos nos expressar dentro do assunto da Lógica também na língua portuguesa, não só em inglês, considerando que dissertações de mestrado e teses de doutorado são escritas, no Brasil, normalmente, em português. Ademais, para quem é nativo do Brasil ou de outro país cuja língua portuguesa é a principal, uma conexão com os seus sentimentos mais íntimos dá-se pela própria língua nativa, daí é importante estendermos a expressão em língua portuguesa não só para questões íntimas, mas para todo o âmbito de nossa vida. a) Arthur Buchsbaum
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
