(∀xLxn→Lon) vs ∀x(Lxn→Lon)

符號邏輯一般會用括號消除歧義,例如 $P∧Q∨R$ 在命題邏輯便須加上括號,而且括號的位置還會影響意思: $(P∧Q)∨R$ $P∧(Q∨R)$ 情況好比「隨餐附送湯和咖啡或汽水」可解讀成「隨餐附送(湯和咖啡)或(汽水)」,也可解讀成「隨餐附送(湯)和(咖...
技術提供:Blogger.