关于太蔟新到中的逻辑
所有跟贴·加跟贴·新语丝读书论坛
送交者: conner 于 2007-02-20, 10:48:34:
“原命题：“有德者必有言”。
逆命题：有言者必有德。
否命题：无德者必无言。
逆否命题：无言者必无德。”
虽然有德者必有言==>无言者必无德，但是有些论述不妥。
有德者必有言的表达是
ForAll 人 有德（人）--〉有言（人）, 或者
ForAll 人 （Not(有德（人）) Or 有言（人））
它的否定是
Not（ForAll 人 有德（人）--〉有言（人）），
等价于 ThereExits 人 Not(有德（人）--〉有言（人）)，
意思是有的人有德却无言。
我的逻辑学的不好，请懂逻辑的朋友深入挖掘。
所有跟贴:
加跟贴