Course: Taller de Matemàtiques de Batxillerat fent ús de l'eina CAS MAXIMA (GPL)

Lògica i processos de demostració

- Lògica
- Processos de demostració
  - Demostració per deducció. Exemples: [ 1 ]
  - Demostració per contradicció. Exemples: [ 1 ]
    - Demostració per mètode de descens infinit. Exemples: [ 1 ]
  - Demostració per inducció. Exemples: [ 1 | 2 ]

<//li>