Logica del primo ordine per un principiante completo (raccomandazioni del libro)?

Question

Mi sono iscritto per una lezione che non avrei dovuto. Quindi ora sono leggermente fregato perché non capisco nessuna notazione usata quando il mio professore stava spiegando la logica del primo ordine. Ho bisogno di alcuni suggerimenti su come riapprendere tutte queste cose. Ad esempio: ero confuso su ciò che è un "quantificatore" (lo so dopo averlo cercato su Google). Qualche buon libro con molti esempi? Grazie

Answer 1

Jon Barwise e John Etchemendy, Il linguaggio della logica del primo ordine (CSLI Press, 1992) è fantastico. Un'edizione rivista e ampliata è stata rilasciata nel 2002, intitolata Lingua, prova e logica.

Answer 2

I logici dell'UCLA hanno un libro logico gratuito che copre la logica del primo ordine qui.

Una delle cose carine del libro è che è scritto per essere usato insieme a Programma di software gratuito Per aiutare a imparare la logica.

Ho insegnato tre corsi logici universitari e ho trovato la maggior parte degli studenti che fa molto meglio completando prove e derivazioni oltre a leggere su di essi. Detto questo, se ti avvicini all'apprendimento della logica allo stesso modo dell'apprendimento della matematica o della programmazione aumenterai le tue possibilità di successo.