运用对当关系、换质推理和换位推理规则证明上述论证有效，并写出中间步骤和理由。有些语句表达命题，所以，并非所有语句都不表达命题。