用一阶谓词系统证明:所有北极熊都是白色的，没有棕熊是白色的，所以北极熊不是棕熊。
设[tex=3.571x1.357]Qt/hKufeS3zITdRJz1rx0g==[/tex]是北极熊，[tex=3.571x1.357]xexQOCFzLG1En4TvXHPqqw==[/tex]是棕熊，[tex=3.5x1.357]r/1o+iX7y6dHQdn1PzVb0A==[/tex]是白色的。前提:[tex=17.929x1.357]QGVFlsq3dcrM6X1l9xqyJopJLCXHHvGs2XnxzN32X/WTLKqCpMIUpGPy+9n8+uzMYWDP/OMHgVj6MZjS0Po6Cjv3+3J/FPSImr4dCXQhFSc=[/tex]结论:[tex=9.143x1.357]QGVFlsq3dcrM6X1l9xqyJs97eDNlsYnXeUeBeaj11rydDYZyy7Jd0reX5xlyQffh[/tex][tex=10.357x1.357]cBC8ClNAO+V3VkuN8O4Ivjn9NcZ/kZzcCWWc8U1ffQqEbFZEwlSLXVTgQKDTN8Fd[/tex][tex=0.643x1.0]Ft8KOBgb78fnKY0jEt4Rsg==[/tex]，[tex=13.0x1.357]w7eVb6L1qazetILyJek7PrkoelmfHRxPLcE/Rw8ec1pTpwAPVCiB9EiXg28+OLWmFrd2BDIQk91XBwHvm+k7Tg==[/tex]，[tex=10.357x1.357]vArlTREoKOMJAlrcR+mEdprvzR6myh+Kt7OYdEf/0nYA+dnzW9gEbbdSWz9cpNxt[/tex][tex=0.643x1.0]Ft8KOBgb78fnKY0jEt4Rsg==[/tex]，[tex=14.429x1.357]lJqaa0NZDZMiC/JHD54IADRvYTnpqOzfaXjUc9MYWpjIqUv2b+lTyZgIL/k1IWjY9cKcWJUdbwAnFyF2Hjm+Dg==[/tex]
举一反三
内容
- 0
北极熊是北极的代表性动物（ ） A: 正确 B: 错误
- 1
以下哪种熊体型最大？（） A: 黑熊 B: 马来熊 C: 棕熊 D: 白熊
- 2
面对这条陈述性规则—“所有的北极熊都有白色的毛”—人们通常自发地想到白色皮毛的北极熊，而不是其他毛色的北极熊
- 3
除了北极熊，没有其他大型动物能在北极寒冷的冬天里生存。
- 4
北极地区和南极地区的代表动物分别是 （ ） A: 孔雀、老虎 B: 企鹅、北极熊 C: 北极熊、北极狐 D: 北极熊、企鹅