由“S必然是P”为真，可以推知“S可能是P”为（），“S可能不是P”为（）。