Logica del primo ordine

La logica del primo ordine è un ragionamento simbolizzato in cui ogni frase, o affermazione, è suddivisa in un soggetto e un predicato. Il predicato modifica o definisce le proprietà del soggetto. Nella logica del primo ordine, un predicato può riferirsi solo a un singolo soggetto. La logica del primo ordine è anche nota come … Leggi tutto