Dades generals
-
Curs acadèmic:
- 2021
-
Descripció:
- 1. Nocions bàsiques de la teoria de conjunts. 2. Sintaxi i semàntica de la lògica proposicional. 3. Conceptes metalògics: conseqüència lògica i equivalència lògica per a la lògica proposicional.
-
Crèdits ECTS:
- 6
Grups
Grup A
-
Durada:
- Semestral, 1r semestre
-
Professorat:
- Mireia Lopez Amo
/ David Pineda Oliva
-
Idioma de les classes:
- Català (100%)
Competències
- CG2- Comunicar-se oralment i per escrit de manera clara, coherent i correcta
- CE15- Analitzar amb claredat, rigor i críticament arguments filosòfics, jutjant la seva coherència, força demostrativa i pertinència
- CE16- Identificar fal·làcies lògiques, tant formals com informals, i detectar errors metodològics, recursos retòrics i pressupostos implícits en les discussions i argumentacions filosòfiques
- E17- Adquirir la capacitat de pensar entre la generalització excessiva i la casuística extrema, descobrint quins exemples i consideracions són pertinents per donar suport o criticar una determinada posició
Continguts
1. Introducció general.
2. PRIMERA PART: Teoria de Conjunts.
3. La noció de conjunt. La noció de pertinença. El principi d'extensionalitat. Maneres de referir-se a un conjunt: extensió i comprensió. La relació d'inclusió. El conjunt buit. Teoremes bàsics.
4. Operacions básiques amb conjunts:
Unió, intersecció i diferència: definicions i propietats bàsiques. Teoremes bàsics. La complementació: definició i propietats bàsiques. El conjunt potència: definició i teoremes bàsics.
5. Relacions:
La noció de parell ordenat. La noció de relació. Noció de relació inversa. Composició de relacions. Tipus de relacions. Relacions d'equivalència i particions. Relacions d'ordre. Tipus d'ordres.
6. Funcions: Noció de funció. Domini i recorregut d'una funció. La funció inversa. Tipus de funcions.
7. SEGONA PART: Lògica proposicional.
8. Sintaxi i semàntica de la lògica proposicional: Alfabet d'un llenguatge proposicional. Subfórmules i fórmules. Noció d'assignació. Taules de veritat. Tautologies i contradiccions.
9. Conseqüència i equivalència lògiques a la lògica proposicional. Interdefinibilitat de connectives. Connectors barra i fletxa. Formes normals.
Activitats
Tipus d’activitat |
Hores amb professor |
Hores sense professor |
Hores virtuals amb professor |
Total |
Anàlisi / estudi de casos |
0
|
3,00 |
0
|
3,00 |
Prova d'avaluació |
0
|
15,00 |
0
|
15,00 |
Sessió expositiva |
22,50 |
25,00 |
22,50 |
70,00 |
Sessió participativa |
10,00 |
0
|
10,00 |
20,00 |
Sessió pràctica |
0
|
40,00 |
0
|
40,00 |
Tutories de grup |
2,00 |
0
|
0
|
2,00 |
Total |
34,50 |
83,00 |
32,50 |
150 |
Bibliografia
- Badesa Cortés, Calixto (1998 ). Elementos de lógica formal . Barcelona: Ariel. Catàleg
- Díez Calzada, José A (2002 ). Iniciación a la lógica . Barcelona: Ariel. Catàleg
- Enderton, Herbert B (1977 ). Elements of set theory . Orlando [etc.]: Academic Press. Catàleg
- Lipschutz, Seymour (cop. 1969 ). 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. Catàleg
- Tomassi, Paul (1999). Logic. New York: Routledge. Catàleg
Avaluació i qualificació
Activitats d'avaluació:
Descripció de l'activitat |
Avaluació de l'activitat |
% |
Recuperable |
Examen final sobre el contingut de l'assignatura. |
Resolució correcta dels problemes de què consti l'examen. Es valorarà la correcció del procediment emprat. |
50 |
Sí |
Examen parcial sobre el contingut de l'assignatura |
Solució dels problemes de què constin els exàmens parcials. Es valorarà el procediment emprat per arribar a la solució final. |
30 |
No |
Examen parcial sobre el contingut de l'assignatura |
Solució dels problemes de què constin els exàmens parcials. Es valorarà el procediment emprat per arribar a la solució final. |
20 |
No |
Qualificació
Resolució correcta dels problemes de què consti l'examen final i els exàmens parcials de l'assignatura. Es valorarà la correcció del mètode emprat per resoldre cada problema.
Criteris específics de la nota «No Presentat»:
Es considerarà no presentat aquell estudiant que no es presenti a l'examen final o bé no es presenti a cap dels dos exàmens parcials. Per tal de ser avaluat, per tant, cal fer l'examen final i almenys un dels dos parcials. Si un alumne no es presenta a algun dels dos parcials perd el percentatge de la nota que correspon a aquest.
Avaluació única:
Examen final sobre el contingut de l'assignatura
Requisits mínims per aprovar:
Per considerar superada l’assignatura, caldrà obtenir una qualificació mínima de 5.0
Tutoria
S'establirà un horari de tutories setmanal i hores convingudes.
Comunicacio i interacció amb l'estudiantat
Correu electrònic, eventualment videoconferència, i idealment visita al despatx.
Modificació del disseny
Modificació de les activitats:
No es modifiquen. Si cal, es realitzaran de forma síncrona online.
Modificació de l'avaluació:
No es modifica. Si cal, es realitzarà online.
Tutoria i comunicació:
No es modifica. Si cal, es realitzarà online.