Lógicas Para o Tratamento Semântico de Linguagens Naturais Ou de Programação Conceito