Skip to content.
Lògica, Raonament i Demostració
Prefaci
Introducció
1
Teoria
2
Pràctica
3
Exercicis proposats
4
Tests
Lògica, Raonament i Demostració
Lògica, Raonament i Demostració
Miquel Àngel Perelló
7 de setembre de 2025
Índex
Prefaci
Introducció
1
Teoria
1.1
Variables i constants
1.2
Proposicions i predicats
1.3
Connectives lògiques
1.3.1
Conjunció
1.3.2
Disjunció
1.3.3
Negació
1.3.4
Condicional
1.3.5
Bicondicional
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.12.1
Demostracions directes
1.12.2
Demostracions cap enrere
1.12.3
Demostracions per contrarecíproc
1.12.4
Demostracions reducció a l’absurd
1.12.5
Demostracions per contraexemple
1.12.6
Demostracions per casos
1.12.7
Demostracions d’existència i unicitat
1.12.8
Demostracions per inducció
1.13
Teories axiomàtiques
1.13.1
Teoria axiomàtica de la geometria plana
1.13.2
Teoria axiomàtica de l’aritmètica
2
Pràctica
2.1
Lògica
2.2
Raonament lògic
2.3
Demostració
3
Exercicis proposats
4
Tests
4.1
Lògica i raonament
4.2
Demostració
4.3
Posa’t a prova amb un test general senzill!