[離散]第10章一階邏輯

假設P(x,y)代表x喜歡y             
 x={A,B,C,D,E}  y={1,2,3,4,5,6} 

 

我用了內在條件 與外在條件來做區隔
麻煩助教看看那邊有錯誤的地方  謝謝!!