Lógica/Lógica Tradicional/Ontologia e Predicação: diferenças entre revisões