ตรรกวิทยา dtàk-gà-wít-thá-yaa Substantiv Logik Definition (Englisch): the branch of philosophy that analyzes inference