Logica/Calcolo dei predicati

Wikibooks, manuali e libri di testo liberi.

Calcolo dei predicati

Indice 1 Strutture e Linguaggi 2 I Quantificatori 3 Teoria della dimostrazione 3.1 I tableaux semantici 3.2 Il metodo di risoluzione

[modifica] Strutture e Linguaggi

[modifica] I Quantificatori

[modifica] Teoria della dimostrazione

[modifica] I tableaux semantici

[modifica] Il metodo di risoluzione