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.
<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>
Livre
de vírus. www.avast.com
<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>.
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
--
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/CAGQNftDyhAj5TFcze%3Dk2anWrkA3fYa1_B85T9AmO9YzFt2hOJw%40mail.gmail.com.
