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, s
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 comp
