以“必然P”为前提,可必然地推出()、()、()。
出自:国家开放大学《法律逻辑学》