Logica/Calcolo dei predicati
Wikibooks, manuali e libri di testo liberi.
<
Logica
Vai a:
navigazione
,
ricerca
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
Categoria
:
Logica
Visite
Modulo
Discussione
Modifica
Cronologia
Strumenti personali
Prova Beta
Entra / Registrati
Navigazione
Pagina principale
Biblioteca
Vetrina
Ultime modifiche
Una pagina a caso
Un libro a caso
Comunità
Portale comunità
il Wikibookiano
Bar
Aiuto
Donazioni
Contatti
Stampa/esporta
Crea un libro
Scarica come PDF
Versione stampabile
Ricerca
strumenti
Puntano qui
Modifiche correlate
Pagine speciali
Link permanente
Cita questa pagina