※ 引述《std92050 (熊貓大學劣等生)》之銘言：
: "人應該相信P if only if P為真"
: 乍看之下好像蠻合理的，如果P應該被相信，那P必須是真的
: 如果P是真的，那人們就應該相信P，兩邊好像可以互推
: 但這個命題也可推得 "若P為假，那人們並非應該相信P"
: 也就是不一定要相信P，因此允許人們相信假的事，這又違反我們的直覺
無聊繼續把這個問題推下去 如果從集合的想法來看可能具體一點
另外重新調整一下用詞避免混淆
對任何事物P , P∈{人們必須相信的事物} 則 P∈{為真的事物}
P∈{為真的事物} 則 P∈{人們必須相信的事物}
因此{為真的事物}={人們必須相信的事物}
另外，邏輯上有 {人們必須相信的事物}⊆{人們可以相信的事物}
{為假的事物}={為真的事物}的補集={人們必須相信的事物}的補集
={人們不必須相信的事物}
而要不違反直覺，要有 {人們不必須相信的事物}∩{人們可以相信的事物}=空集合
如此一來，我們會得出 {人們可以相信的事物}={人們必須相信的事物}
其實這個命題有一個問題"有些為真的事人們不一定有能力知道"
違反了"應該可推得能夠"(ought implies can)這個原則
但若修改一下把"人們" 改成 "全能者"或"應該相信所有為真事物的人"
邏輯上應能通吧