Não é um operador de lógica difusa propriamente dito. Não fortemente. Mas pode ser considerado um operador booleano, então de certo modo seria também difuso. Então, para a pergunta "é um operador de lógica difusa?", eu respondo 11.39%.
Para começar, precisamos definir o que é um operador de tipo para, então, definir o que é um operador de lógica difusa.
A descrição do que um BinaryOperator
do Java 8 é que um operador binário uma função binária em que os operandos e a saída são do mesmo tipo. Leia a documentação. Por cima, é como se fosse isso:
public interface BinaryOperator<T> extends BiFunction<T,T,T> {
}
Matematicamente, um operador n-ário é uma função que recebe n operandos do mesmo tipo e o retorno também é do mesmo tipo. No caso, para considerar ==
, ===
, !=
e !==
como operadores, eles só devem ser considerados a nível de operandos que também são da lógica difusa.
Mas, para esses aí em específico, independente de quais são os operandos, o retorno é apenas SIM
ou NÃO
. Sem terceiro termo.
Mas, o que é a lógica booleana? Formalmente, é composta de 3 axiomas:
- identidade
- não contradição
- terceiro excluído
Você pode ler mais sobre o assunto nessa resposta. E o que é a lógica difusa? É uma mudança nesses axiomas, mais especificamente a remoção do terceiro excluído. No caso, a lógica difusa permite que você tenha algo 11.3% verdade. A mudança é que existam 2 valores (já previstos no booleano) e que exista todo um intervalo contínuo entre esses valores.
No caso, a lógica booleana pode ser mapeada para a difusa da seguinte maneira:
O mapeamento contrário não é possível. A cardinalidade do conjunto de valores booleano é finita, não tem como fazer uma bijeção para o contínuo que é o conjunto dos valores difuso. Você até pode fazer uma sobrejeção, mas não seria a função inversa. Se existisse uma função que transforma os valores booleanos em difusos chamada bool2fuzzy
e a função que transforma da lógica difusa para a booleana chamada fuzzy2bool
, as seguintes fórmulas estão corretas:
seja fuz uma variável pertencente a Difuso
se fuz não pertencer a {0, 1}:
bool2fuzzy(fuzzy2bool(fuz)) != fuz
senão:
bool2fuzzy(fuzzy2bool(fuz)) == fuz
Operadores em linguagem de programação vs operadores em matemática
Bem, devo ter feita uma confusão na sua cabeça, ser? Sim ou não? 67%?
Na matemática, um operador (binário) é algo assim:

Já em linguagens de programação, não usamos a noção matemática pura do que é um operador. Por exemplo, você pode fazer "123" + 4
em PHP, Java e outras linguagens. No caso, as linguagens de programação usam operadores sintáticos. Um operador sintático não entra no reino da matemática, mas no reino da sintaxe. No caso, para operador sintático binário é quem preenche o espaço de <op>
na produção gramatical abaixo:

Então, no caso das linguagens de programação, a estrutura determina se algo é chamado de operador ou não. Inclusive esta resposta reforça isso.
Conclusão
- operadores binários na matemática mapeiam 2 objetos em um terceiro objeto, contanto que todos esses 3 objetos pertençam ao "mesmo universo"
- linguagens de programação chamam de "operadores" algo que encaixa na estrutura de operação
- comparação, forte ou frouxa, igualdade ou diferença, são operadores de lógica booleana (matematicamente falando quando tratam como entrada valores booleanos)
- comparação, forte ou frouxa, igualdade ou diferença, são 11.39% operadores de lógica difusa
- esta resposta está 73% correta