“If there are at least two things and at least two there things, then there a
re at least four other things”
这段话的意思是
如果一个世界里
至少有两样东西
也至少有两样其他的东西
那这里至少有四样东西
想跟板上的高手们讨论
如果要翻译成理学的quantified logic表达
该如何翻译