离散数学数理逻辑
问题描述：
离散数学数理逻辑
P(x)蕴含Q(x)推出存在P(x)蕴含Q(x)
这个推导过程对吗 错的话哪里错了
答
p{1,2,3,4,5,6},Q{1,2,3,4}
如果有5或6,p存在,而Q不存在