Dades generals

Curs acadèmic:
2017
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

  • CTUdG01 Utilitzar la llengua anglesa
  • CTUdG09 Llegir, comprendre i comentar textos científics
  • CTUdG10 Analitzar situacions complexes i dissenyar estratègies per resoldre-les
  • CTUdG11 Avaluar la pròpia activitat i el propi aprenentatge i elaborar estratègies per millorar-los
  • CE3/N5: Conèixer les teories i arguments centrals en la Lògica
  • CE4. Identificar i analitzar els temes principals que actualment són objecte d'investigació filosòfica.
  • CE5. Aplicar de forma adequada les tècniques del raonament filosòfic apreciant les seves diverses possibilitats d'aplicació.
  • CE7. Pensar i expressar de forma precisa la formulació de problemes filosòfics complexos i controvertits, i comprendre les estratègies principals concebudes per resoldre'ls.
  • CE10. Jutjar l'èxit d'arguments filosòfics típics.
  • CE12. Utilitzar de forma crítica la terminologia filosòfica especialitzada.
  • CE14. Reconèixer errors metodològics, recursos retòrics, pressuposts implícits, la vaguetat i la superficialitat en les discussions filosòfiques.
  • CE19. Investigar més enllà de les fronteres tradicionals de la disciplina, examinar les limitacions i virtuts d'altres disciplines i pràctiques, i reconèixer doctrines filosòfiques en contextos no acadèmics.
  • CE20. Aplicar les competències i tècniques filosòfiques a qüestions que sorgeixen en contextos no acadèmics.

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. 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 Total
Anàlisi / estudi de casos 0 3 3
Classes expositives 30 40 70
Classes participatives 10 10 20
Classes pràctiques 0 40 40
Prova d'avaluació 0 15 15
Tutories 2 0 2
Total 42 108 150

Bibliografia

  • Badesa Cortés, Calixto (1998 ). Elementos de lógica formal . Barcelona: Ariel. Catàleg
  • Lipschutz, Seymour (cop. 1969 ). Teoría de conjuntos y temas afines . México [etc.]: McGraw-Hill. Catàleg
  • Díez Calzada, José A (2002 ). Iniciación a la lógica . Barcelona: Ariel. 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.

Avaluació i qualificació

Activitats d'avaluació:

Descripció de l'activitat Avaluació de l'activitat %
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
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
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

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.

L'examen final valdrà un 50% de la qualificació final. Els exàmens parcials valdran un 50% de la qualificació final, distribuït com segueix: el primer parcial valdrà un 20% i el segon parcial valdrà un 30%.

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 els dos parcial perd el percentatge de la nota que correspon a aquest.