Lògica, raonament i demostració Teoria Miquel Àngel Perelló mapccoments@gmail.com (Versió 2021) 1 Introducció 2 Variables i constants 3 Proposicions i predicats 4 Connectives lògiques 5 Proposicions elementals i compostes 6 Formes proposicionals 7 Tautologies i contradiccions 8 Implicació lògica 9 Equivalència lògica 10 Inferència lògica 11 Quantificadors 12 Definicions i la identitat 13 Demostracions 14 Teories axiomàtiques