Barcan formula
danh từ riêng (proper noun)
Nghĩa chính
- In quantified modal logic, the formula ∀x□Fx→□∀xFx, meaning "if every x is necessarily F, then it is necessary that every x is F".chưa dịchdanh từ riêng
1 nghĩa chưa dịch sang tiếng Việt.
1 nghĩa chưa dịch sang tiếng Việt.