Este curso vai dirixido á aprendizaxe da lóxica proposicional.