Estudia

• CG2 - Comunicar-se oralment i per escrit de manera clara, coherent i correcta.
• CE2 - Dominar les teories i els arguments centrals de l'Antropología Filosòfica, la Metafísica, l'Epistemologia, la Lògica, la Filosofia del Lenguatge, la Filosofia de la ciència, l'Estètica i la Filosofia Moral i Política.
• CE6 - Analitzar amb claredat, rigor i críticament arguments filosòfics, tot jutjant la seva coherència, força demostrativa i pertinència.
• CE7 - Identificar fal·làcies lògiques, tant formals com informals, i detectar errors metodològics, recursos retòrics i pressuposicions implícites en les discussions i argumentacions filosòfiques.

1. 1. INTRODUCCIÓ GENERAL: què és la lògica?

2. PART I: TEORIA DE CONJUNTS

3. 1) Noció de conjunt, pertinença i inclusió. El conjunt buit. Definicions de conjunts per extensió i per comprensió.

4. 2) Operacions amb conjunts. Unió, interesecció, diferència i potenciació. Teoremes bàsics.

5. 3) Relacions. Noció de relació, operacions amb relacions, inversió i composició. Propietats de relacions.

6. 4) Relacions d'equivalència i relacions d'ordre.

7. 5) Funcions. Noció de funció. Definicions de funcions per extensió i per comprensió. Tipus de funcions: injectiva, exhaustiva, bijectiva.

8. PART II: LÒGICA PROPOSICIONAL

9. 1) Sintaxi i semàntica de la lògica proposicional.

• Badesa, Calixto. (1998). Elementos de lógica formal. Barcelona: Ariel. Catàleg
• Díez, José A. (José Antonio) (2002). Iniciación a la lógica. Barcelona: Ariel. Catàleg
• Lipschutz, Seymour. (1991). Teoría de conjuntos y temas afines. México [etc: McGraw-Hill. Catàleg
• Pagès, Joan (2002). Pràctiques de lògica : exercicis de lògica d'enunciats i lògica de primer ordre. Girona: Universitat de Girona, Programa de Millora de la Docència, Vicerectorat de la Docència i Estudiants. Catàleg
• Enderton, Herbert B. (1977). Elements of set theory. Orlando [etc: Academic Press. Catàleg

Activitats d'avaluació:

Caldrà resoldre correctament els diversos exercicis que composin les diverses proves d'avaluació.
Caldrà mostrar el procediment emprat per assolir el resultat i no únicament el resultat.
En el cas de demostracions, caldrà justificar cada pas inferencial i mostrar una correcta comprensió de les definicions de nocions tècniques i dels diversos teoremes demostrats a classe.

Criteris específics de la nota «No Presentat»:
Es considerarà no presentat l'estudiant que no es presenti a l'examen final o bé a cap dels dos exàmens parcials.

Avaluació única:
Examen únic de tots els continguts de l'assignatura.

Requisits mínims per aprovar:
Per considerar superada l’assignatura, caldrà obtenir una qualificació mínima de 5.0

Es podran fer tutories presencials en l'horari que s'anunciarà oportunament.
Es podran també fer tutories en línia en alguna de les plataformes que empra la UdG, com ara el Meet.

S'emprarà preferentment l'eina Moodle per a comunicats i facilitació de materials de curs, com ara exercicis resolts.