Professor, relendo uma antiga resposta sua, me ocorre uma dúvida. O estudo da lógica ternária, da finitamente valorada e da infinitamente valorada deve ser precedido pelo estudo bivalente? Todas essas lógicas são assuntos de Matemática?

O estudo da lógica dicotômica deve ser feito antes das demais, que são extensões e modificações da primeira. Mas isso pode ser feito de modo puramente verbal e não simbólico, isto é, sem matemática. Se bem que a abordagem simbólica matemática é muito mais conveniente, especialmente se for para ser usada em programação. Só quem for se dedicar especialmente aos temas de lógica policotômica, difusa, modal ou outra é que, normalmente, vai estudar o assunto. Num curso comum de matemática só se estuda a lógica dicotômica.