由“S必然是P”为真,可以推知“S可能是P”为(),“S可能不是P”为()。
出自:哲学