Skip to content.
Lògica, Raonament i Demostració
Prefaci
Introducció
1
Teoria
1.1
Variables i constants
1.2
Proposicions i predicats
1.3
Connectives lògiques
1.4
Proposicions elementals i compostes
1.5
Formes proposicionals
1.6
Tautologies i contradiccions
1.7
Implicació lògica
1.8
Equivalència lògica
1.9
Inferència lògica
1.10
Quantificadors
1.11
Definicions i la identitat
1.12
Demostracions
1.13
Teories axiomàtiques
2
Pràctica
3
Exercicis proposats
4
Tests
Teoria
Capítol 1
Teoria
1.1
Variables i constants
1.2
Proposicions i predicats
1.3
Connectives lògiques
1.4
Proposicions elementals i compostes
1.5
Formes proposicionals
1.6
Tautologies i contradiccions
1.7
Implicació lògica
1.8
Equivalència lògica
1.9
Inferència lògica
1.10
Quantificadors
1.11
Definicions i la identitat
1.12
Demostracions
1.13
Teories axiomàtiques