ตรรกะประยุกต์

การประยุกต์ใช้ตรรกะ

ส่วนหลักที่สองของตรรกะที่ใช้เกี่ยวข้องกับการใช้ตรรกะและวิธีการตรรกะในสาขาต่าง ๆ นอกตรรกะเอง แอพพลิเคชั่นที่ใช้กันทั่วไปส่วนใหญ่นั้นคือการศึกษาภาษา ลอจิกยังถูกนำไปใช้ในการศึกษาความรู้บรรทัดฐานและเวลา