Não me lembro desse uso do termo "fraco" nessa acepção, embora já tenho visto
conectivos ou operadores divididos entre fortes e fracos, nomeadamente as
negações.
Mas, a questão é saber o que tu fazes com uma definição dessas. Pois veja, se
já tens dado que o conjunto X-{*} é funcionalmente completo, para que fim
queres acrescentar *?
Ou ainda, de que te serve dizer que outros conectivos são n-fracos nessa
acepção? Vê que negação e implicação juntas formam um conjunto funcionalmente
completo para lógica bivalente, por exemplo. De que serve então chamar a
equivalência de conectivo n-fraco? É só mais termo que introduzes no
vocabulário?
> On 7 Jun 2017, at 10:20, FRANK THOMAS SAUTTER <ftsaut...@ufsm.br> wrote:
>
> Bom dia a todos.
>
> Estou rascunhando um trabalho em que uma das questões discutidas é a
> expressividade de conetivos clássicos e o seguinte conceito me pareceu útil:
>
> Um conetivo * é n-fraco, para n>0, se, e somente se, para todo conjunto de
> conetivos X - {*} tal que a cardinalidade de X - {*} é n, se (X - {*}) união
> {*} é funcionalmente completo, então X - {*} é funcionalmente completo.
>
> Alguém poderia me dizer se esse conceito ou um conceito similar a esse já é
> empregado na literatura?
>
> Cordialmente, Frank.
>
> Livre de vírus. www.avast.com.
> --
> Você recebeu essa mensagem porque está inscrito 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 logica-l+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGQNftDyhAj5TFcze%3Dk2anWrkA3fYa1_B85T9AmO9YzFt2hOJw%40mail.gmail.com.
--
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
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/8BF47291-E22D-4CBF-B86E-1D9467F44669%40gmail.com.
