關系命題的負命題及其等值推理
關系命題的負命題就是否定一個關系命題之后得到的命題。例如:“小王比小馬的年齡大”的負命題為“并非小王比小馬的年齡大”。
關系命題的負命題等值推理是利用關系命題的性質(zhì)推出一個新的命題。例如:
“并非小王比小馬的年齡大”等值于“小王不比小馬年齡大”
“并非小王和小馬是同學”等值于“小王和小馬不是同學”
“并非小王認識所有的同學”等值于“小王不認識有的同學”
一般情況下,關系命題的負命題比較容易轉(zhuǎn)化成等值命題,但在出現(xiàn)兩個特稱或全稱的量詞時,容易出錯,注意量詞的轉(zhuǎn)化。轉(zhuǎn)化規(guī)則為:“全稱變成特稱,特稱變成全稱”。
例如:“并非有人認識所有的英文單詞”等值于“所有人都不認識有的英文單詞”