为什么？

事实上任意一组不相容的命题，能得出任何答案。
因为你前置的条件就是“万物皆虚，万事皆允”，只是换了一种说法

你先给出一组不相容的命题。看看 是不是总能推出？

原因如下：
一组命题不相容，就是一组命题不可能同时为真。
一组命题不可能同时为真，说明这组命题之间的真值是有关联的。
一组复合命题之间的真值有关联，那么这组复合命题中的原子命题肯定有重合。
而一组同时为真的复合命题中的原子命题之间不产生矛盾，那么这组复合命题就的确可以同时为真，那么这组命题就是相容的。
所以一组不相容的复合命题中的原子命题一定会产生矛盾。

看不懂主题。。。
如果不相容的定义是不能同真的话，也就是 A真会推出B假（B真会推出A假），那么A、B不相容时，A真B真 会推出 B且非B（或者A且非A） 不是显而易见了吗？

回复 dtc
lz
y: :咱们等等看楼主在6楼的回复。
老兄：有空 看一下【想不通，是答案错了还是我错了】这帖子。我的回复 可有谬误？？

一组不相容命题，其中至少有一个矛盾命题。若画出它的真值表，就是每行都是假。

看了6楼的例子，我知道什么意思了，我试着翻译给普通人听。
也许是多余的、画蛇添足，不过我喜欢这么思考。。。
现在有n个灯，每个灯要么亮、要么灭且状态固定，一共有n^2（n的2次方）种亮灭可能。
对于n个灯的亮灭答案，某人给出了M个判断句，每一个判断句都是这样的：
从n^2种可能中，挑出一种或多种组成一个集合，并断言n个灯的亮灭答案一定在其中。
现已知，M个判断句不可能同真（不存在一种亮灭状态，同时符合M个判断句）。
求证：至少存在一个灯，是你可以从M个判断句中挑出一部分推出它是亮的，且也可以挑出一部分推出它是灭的。

【不相容命题】的定义，有些网友不知道。盲目分析，离题万里了吧?

楼主看我这个例子：
命题1： （非A 且 非B） 或 （A且B）
命题2： （非A 且 B） 或 （A且非B）
命题1、2是不相容的吧？楼主能推出p·~p的形式吗？

关于12楼的证明

6楼的思考，跟13楼的推理产生了分歧。
把分歧初步表现出来。
A命题：x序列在序列集合{00,11}中
B命题：x序列在序列集合{10,01}中
普通人会觉得推不出结果。
而一些逻辑学学习觉得可以这样推出（下2行并不是楼主的过程，但是道理是类似的）：
A命题不变：x序列在序列集合{00,11}中
B命题→x序列在序列集合{10,01,11}中
由A、B得，x序列是11

跟楼主的讨论到了一个焦灼点，继续表达一下我的看法，希望楼主不要认为我在抬杠。
以15楼为例：
A命题：x序列在序列集合{00,11}中
B命题：x序列在序列集合{10,01}中
有一个推理如下：
A→x序列在序列集合{00,11，33}中①
B→x序列在序列集合{10,01，33}中②
由A、B得x序列是33 ③
①②③，每一步推理本身，前提确实都是相容的。【特点1】
但综合来看，推出③所需要用到的原始命题A、B本身是不相容的。【特点2】
【特点2】是12楼中，楼主推出【p】和【非p】的特点。
6楼例子中，没有这个特点。
楼主认同吗？