形jing4式sik1邏lo4輯cap1

simp形式逻辑

jing4 sik1 lo4 cap1xíng shì luó ji

English

formal logic, study of inference with formal content

Examples

要建立語義網絡，最簡單直接嘅方法係用邏輯編程語言寫：邏輯編程語言係程式語言嘅一種，建基於形式邏輯。
Tatoeba · Matthewyau1367 CC BY

Sources: cc-canto

Report an issue