Discussão:Implicação
 | Este artigo foi avaliado automaticamente com qualidade 1 e faz parte do âmbito de um WikiProjeto: Matemática. | |
|---|---|---|
 |  | Para o WikiProjeto:Matemática este artigo possui importância ainda não avaliada. Se você se interessa pelo assunto, visite o projeto para conhecer as tarefas e discussões em curso. |
| Se não tiver suas questões respondidas nesta página de discussão procure o(s) wikiprojeto(s) acima. | ||
Juntar com Condicional Material (Implicação Material)[editar código-fonte]
Esta parte sobrepõe-se com o condicional material, com a implicação material, etc...
Há uma tendência natural de cada disciplina usar a sua própria zoologia, dando nomes diferentes a coisas que são a mesma coisa.
A condição IF THEN é exatamente a implicação matemática, é inútil estar a colocá-la separadamente.
Na minha opinião, aconselharia a que o condicional material migrasse para aqui.
Outras variantes da lógica (não clássica) não deveriam ser sobrepostas à noção mais comum de implicação. Ou ainda, que detalhes de condições IF THEN em diversas linguagens de programação fossem remetidas para outro lado.
Não sei se há outro problema...