Un dels objectius principals d'aquesta unitat és proporcionar el vocabulari necessari per a poder identificar si un raonament pertany a la lògica formal i informal. Un cop assolit aquest objectiu, estarem en condicions de construir els nostres primers raonaments formals derivant una tesi de diverses premisses, així com d'intentar refutar les tesis contràries a les nostres, intentant trobar falles en l'ús de les seves regles de derivació.
Serà convenient cercar i treballar el següent vocabulari: demostració, refutació, proposició, axioma, derivació, consistència, completesa i decidibilitat.
Donat que el concepte d'implicació lògica és el fonament d'aquesta unitat didàctica, es treballen amb especial intensitat les estructures condicionals i la relació entre la seva sintaxi i les implicacions del seu significat semàntic.
No hay comentarios:
Publicar un comentario