符號邏輯

　　見數理邏輯。