原文:命题和命题函项教学初探