量化邏輯

Simplified: 量化逻辑

liànghuàluóji ㄌㄧㄤˋ ㄏㄨㄚˋ ㄌㄨㄛˊ ˙ㄐㄧ

    • quantificational logic (i.e. first-order logic)

Character by character

Sources