已知"可能非P"为真，则"必然P"为（），"可能P" 为（），"必然 非P"为（）。