文件名称:逻辑悖论经典案例
文件大小:2.78MB
文件格式:ZIP
更新时间:2018-11-19 09:50:27
逻辑悖论
逻辑悖论总是相对于一个公理系统而言的,如果在一个公理系统中既可以证明公式A又可以证明A的否定元A',则我们说在这个公理系统 中含有一个悖论,因为这时A和A'在系统中是可证等价的。
【文件预览】:
古典时期的悖论.ppt
合理行为问题.ppt
推理悖论.ppt
集合论语形悖论.ppt
知道悖论.ppt
伦理悖论.ppt
逻辑悖论.ppt
文件名称:逻辑悖论经典案例
文件大小:2.78MB
文件格式:ZIP
更新时间:2018-11-19 09:50:27
逻辑悖论
逻辑悖论总是相对于一个公理系统而言的,如果在一个公理系统中既可以证明公式A又可以证明A的否定元A',则我们说在这个公理系统 中含有一个悖论,因为这时A和A'在系统中是可证等价的。