[求助]请教一道数理逻辑题

aaassshhh

胡世华 陆钟万的《数理逻辑基础》第74页上面的11.12。
谢谢！

ygq的马甲

下面引用由aaassshhh在 2011/05/16 04:37pm 发表的内容：
胡世华 陆钟万的《数理逻辑基础》第74页上面的11.12。
谢谢！

晕，有这么【求助】的吗 ？？？别人手头，不一定有这本书的
至少应该将具体内容贴出来

申一言

   楼主注意！
       如果是纯粹数学那么根本不存在所谓的逻辑问题！
       如果是诡辩，那一定存在逻辑问题！

aaassshhh

下面引用由ygq的马甲在 2011/05/16 04:55pm 发表的内容：
晕，有这么【求助】的吗 ？？？别人手头，不一定有这本书的
至少应该将具体内容贴出来

我相信没有这本书的人，或者说没有看过这本书的人，肯定不能正确地解答得了这道题，所以也就没有必要将具体题目贴出来。[br][br]-=-=-=-=- 以下内容由 aaassshhh 在 时添加 -=-=-=-=-
还有另外一个考虑，就是我在讨论严肃的数学问题，不希望不是搞数学的却自认为是数学家的人来我帖子里胡搅蛮缠。不过3楼还是进来了。

ygq的马甲

下面引用由aaassshhh在 2011/05/16 07:27pm 发表的内容：
我相信没有这本书的人，或者说没有看过这本书的人，肯定不能正确地解答得了这道题，所以也就没有必要将具体题目贴出来。-=-=-=-=- 以下内容由 aaassshhh 在  时添加 -=-=-=-=-
还有另外一个考虑，就是我在讨论严 ...

“我相信…………”，这，并不是搞逻辑的人应该说的

ygq的马甲

http://www.docin.com/p-42056591.html
11.12 证明在 P 中如果 Г├A ，则 Г,Δ├A （特别要考虑 Г是空序列的情况，这时就是要证：如果 ├A ，则 Δ├A ）
看了一下这本《数理逻辑基础》，应该是【离散】类型的