离散数学试证明 p→q => p→(p∧q)

问题描述:

离散数学试证明 p→q => p→(p∧q)