离散数学：符号化命题,构造推理符合化下列命题,并构造推理证明：三角函数都是周期函数,有些三角函数是连续函数,所以有些周期函数是连续函数.
问题描述：
离散数学：符号化命题,构造推理
符合化下列命题,并构造推理证明：三角函数都是周期函数,有些三角函数是连续函数,所以有些周期函数是连续函数.
答
P:三角函数,q:周期函数,r:连续函数
P→q
存在P→r
存在q→r