量化逻辑

Traditional (Taiwan): 量化邏輯

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

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

Character by character

Sources