els dies 27 de setembre, 4, 11 i 18 d'octubre i, per la segona part, els dies 15, 22 i 29 de novembre i els dies 13 i 20 de desembre.
El primer parcial el farem el dia dijous 19 d'octubre.
El segon parcial el farem el dia dimecres 20 de desembre ja que el dia dijous 21 de desembre és no-lectiu.
Ambdos parcials es faran a l'horari de classe i a l'aula de sempre.
| Setmana 1 | Setmana 2 | |
| Setmana 3 | Setmana 4 | |
| Setmana 5 | Setmana 6 | |
| Setmana 7 | Setmana 8 | |
| Setmana 9 | Setmana 10 | |
| Setmana 11 | Setmana 12 | |
| Setmana 13 | Setmana 14 | |
| Setmana 15 | Setmana 16 |
vam començar amb una introducció: Per a nosaltres, lógica és l'art del raonament valid (aquí ). A més, vam delimitar molt quin tipos de raonament estudiarem. De moment només lògica proposicional clàssica. Vam tractar amb la sintaxi que correspon amb el Capitol 6 del llibre secció 1 i el principi de la secció 2 (definició de fórmula).
Hem acabat amb les seccions 1 i 2 del capítol 6 (la secció 3 del capítol 6 no és part del curriculum). A més a més, varem reflexionar sobre qué hauria de fer semàntica i semàntica formal. Entre tots varem decidir els nostres suposits: ontologia platónica (lógica bivalenta (tertium non datur)), composicionalitat (context-freeness, deterministic, etc.), i varem fixar les taules de veritat per a les conectives: negació, conjuncció, disjuncció i implicació. Per tant ja anem pel capítol 7 del llibre.
Hem acabat el capítol 9 del llibre. Varem practicar molt en memoritzar la definició de conseqüència lògica que és absolútament imprescindible coneixer-la de memoria. Qualsevol exercisi dels capítols 7 i 9 són bons per practicar. En particular puc recomenar jugar amb els exercisis 1,2, 3 i 4 del capítol 9 del llibre.
Hem relacionat la conseqüència lògica com a símbol del meta-llenguatge a la implicació en el llenguatge. Per tant hem acabat el capitol 9 del llibre. A més a més, hem donat la definició d'equivalència lògica i hem vist com trobar una formula equivalent que nomès fa servir les conectives disjuncció i negació.
Hem fet simbolització de llenguatge natural en lògica de predicats.
Hem fet més simbolització de llenguatge natural en lògica de predicats.
Hem fet el tema de conjunts: paradoxa de Russell, unió, intersecció, diferència i complement.
Hem fet el tema de relacions: relació buida, total i identitat; operacions sobre relacions: unió, intersecció, inversa, i producte relacional.
Hem parlat informalment de semantica de la lògica de predicats: un univers (conjunt no buit) i una interpretació del llenguatge. O sigui: noms propis s'interpreten com a elements de l'univers, predicats com a subconjunts, i relacions (binaris) com a conjunts de parells ordenats.