superlucas007 21/07/2018 a lógica de predicados é um termo para sistemas de formas de símbolos como lógica de 1 ordem
superlucas007
a lógica de predicados é um termo para sistemas de formas de símbolos como lógica de 1 ordem