ตรรกะเป็นเครื่องมือซา