Logica proposizionale

[maolimix]

Ciao a tutti,
avevo intenzione di studiare elementi di logica proposizionale (primo e secondo ordine) qualcuno di voi saprebbe indicarmi delle buone dispense online con teoremi, esempi ed esercizi oppure, qualora non esistano, libri che trattino, in modo esteso, questi argomenti?
Grazie a tutti

[maolimix]

c'è nessuno che potrebbe darmi qualche riferimento? un pdf o altro?
Grazie a chiunque voglia aiutarmi

[adaBTTLS1]

[mod="adaBTTLS"]ti consiglio di dare un'occhiata al regolamento che puoi trovare qui:
https://www.matematicamente.it/forum/reg ... 26457.html
in particolare vedi il punto seguente:
3.4 Evitare sollecitazioni del tipo "up" per almeno 3 giorni dalla domanda posta: il forum è frequentato e animato da appassionati che non hanno nessun obbligo di risposta.
se qualcuno può aiutarti, lo farà senz'altro: se si ha un riferimento facilmente reperibile in internet, non mi pare difficile aiutarti.
però direi che l'up è veramente inopportuno.
per ora non blocco il topic, perché non ho in mente altri episodi simili*, ma ti prego di stare attento in futuro al rispetto del regolamento.
grazie per la comprensione. ciao e buona navigazione.[/mod]
P.S.:
*anzi, cercando bene, ho trovato un precedente, che però non ha avuto "conseguenze":
https://www.matematicamente.it/forum/pro ... html#27264
sei fortunato, perché ti avevo già "graziato": fa che non si ripeta.