Kata : logika simbolik 

記号論理学
きごう ろんりがく
kigou ronrigaku
line
logika simbolik 
ロギカ シンボリック