Lógica de primeira ordem

Lógica de primeira ordem é o raciocínio simbolizado no qual cada frase, ou declaração, é dividida em um assunto e um predicado. O predicado modifica ou define as propriedades do sujeito. Na lógica de primeira ordem, um predicado só pode se referir a um único assunto. Lógica de primeira ordem também é conhecida como cálculo … Ler mais