Veritat i validesa

Nocions bàsiques de càlcul lògic i de la lògica proposicional
1. Càlcul lògic
2. La lògica proposicional
2.1. Qué és una proposició o enunciat
2.2. Què és una proposició sense analitzar
2.3. Proposicions atòmiques i proposicions moleculars.
2.4. Els símbols de la lògica proposicional

3. La lògica proposicional i les taules de veritat
- Definició dels connectors i les seves taules de veritat
- Taules de veritat de qualsevol fórmula
- Tautologia, contradicció i indeterminació.
- Utilització de les taules de veritat per la comprovació de la validesa dels raonaments.
- Comparació dels valors de veritat de les premisses amb els valors de veritat de la conclusió.

4. Utilització de les regles de transformació per comprovar la validesa d'un raonament.

5. Formalització d'arguments. Exercicis.    Solucionari

6. Regles de transformació.     Exercicis.   Solucionari

7. Fal·làcies. Exercicis.  Solucionari