符號邏輯
符號含特別意義以供辨識的記號。
邏輯研究思想本質和過程的科學。為英語 logic的音譯。合乎一般常情的規律。代數上指利用真假關係所處理的方法。