高中数学四种命题教案