intro to logic i 2059