Differenza tra logica del primo ordine e calcolo predicato

Domanda

Vedo i due usati in modo intercambiabile. L'uno è il sottoinsieme dell'altro o sono entrambi la stessa cosa?

Nessuna soluzione corretta

Autorizzato sotto: CC-BY-SA insieme a attribuzione