“If there are at least two things and at least two there things, then there a
re at least four other things”
這段話的意思是
如果一個世界裡
至少有兩樣東西
也至少有兩樣其他的東西
那這裡至少有四樣東西
想跟板上的高手們討論
如果要翻譯成理學的quantified logic表達
該如何翻譯